aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h9
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