diff options
Diffstat (limited to 'include/clang/Checker/PathSensitive/GRCoreEngine.h')
-rw-r--r-- | include/clang/Checker/PathSensitive/GRCoreEngine.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/clang/Checker/PathSensitive/GRCoreEngine.h b/include/clang/Checker/PathSensitive/GRCoreEngine.h index 8e9f3973b6..d8349ba3ce 100644 --- a/include/clang/Checker/PathSensitive/GRCoreEngine.h +++ b/include/clang/Checker/PathSensitive/GRCoreEngine.h @@ -66,7 +66,7 @@ private: /// too many times. BlocksAborted blocksAborted; - void GenerateNode(const ProgramPoint& Loc, const GRState* State, + void generateNode(const ProgramPoint& Loc, const GRState* State, ExplodedNode* Pred); void HandleBlockEdge(const BlockEdge& E, ExplodedNode* Pred); @@ -515,7 +515,7 @@ public: unsigned getIndex() const { return Index; } - void GenerateNode(const GRState *state); + void generateNode(const GRState *state); }; class GRCallExitNodeBuilder { @@ -530,7 +530,7 @@ public: const GRState *getState() const { return Pred->getState(); } - void GenerateNode(const GRState *state); + void generateNode(const GRState *state); }; } // end clang namespace |