diff options
| -rw-r--r-- | include/clang/Analysis/PathSensitive/GRCoreEngine.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRCoreEngine.h b/include/clang/Analysis/PathSensitive/GRCoreEngine.h index aae87c00c3..4d624bcc0f 100644 --- a/include/clang/Analysis/PathSensitive/GRCoreEngine.h +++ b/include/clang/Analysis/PathSensitive/GRCoreEngine.h @@ -199,13 +199,6 @@ public: generateNodeInternal(const Stmt* S, const GRState* State, ExplodedNode* Pred, ProgramPoint::Kind K = ProgramPoint::PostStmtKind, const void *tag = 0); - - ExplodedNode* - generateNodeInternal(const Stmt* S,const GRState* State,const void *tag = 0) { - ExplodedNode* N = getLastNode(); - assert (N && "Predecessor of new node is infeasible."); - return generateNodeInternal(S, State, N, ProgramPoint::PostStmtKind, tag); - } /// getStmt - Return the current block-level expression associated with /// this builder. |