aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Checker/PathSensitive/GRCoreEngine.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/clang/Checker/PathSensitive/GRCoreEngine.h')
-rw-r--r--include/clang/Checker/PathSensitive/GRCoreEngine.h6
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