diff options
-rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h b/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h index e2ea13d1c5..350b669e67 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h @@ -202,13 +202,6 @@ public: B.getBlockID()); } - ExplodedNode *generateNode(PostStmt PP, - const ProgramState *St, - ExplodedNode *Pred) { - hasGeneratedNode = true; - return generateNodeInternal(PP, St, Pred); - } - ExplodedNode *generateNode(const Stmt *S, const ProgramState *St, ExplodedNode *Pred, @@ -245,7 +238,7 @@ public: generateNodeInternal(const Stmt *S, const ProgramState *State, ExplodedNode *Pred, - ProgramPoint::Kind K = ProgramPoint::PostStmtKind, + ProgramPoint::Kind K, const ProgramPointTag *tag = 0); /// getStmt - Return the current block-level expression associated with |