diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:38 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-18 23:06:38 +0000 |
| commit | 3152b3cb5b6a2f797d0972c81a5eb3fd69c0d620 (patch) | |
| tree | b643eca55d7efda6bcc9fb15eac4a35d31092854 /lib/StaticAnalyzer/Core/CoreEngine.cpp | |
| parent | 319a9184d5ca9f77622b45ae15c08f6b9ce01621 (diff) | |
[analyzer] Remove StmtNodeBuilder from CheckerContext
It now only depends on a generic NodeBuilder instead. As part of this change, make the generic node builder results finalized by default.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142452 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/CoreEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/CoreEngine.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/StaticAnalyzer/Core/CoreEngine.cpp b/lib/StaticAnalyzer/Core/CoreEngine.cpp index fda7bbdf4c..0a308670c0 100644 --- a/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/lib/StaticAnalyzer/Core/CoreEngine.cpp @@ -489,9 +489,6 @@ ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, const ProgramState *State, ExplodedNode *FromN, bool MarkAsSink) { - assert(Finalized == false && - "We cannot create new nodes after the results have been finalized."); - bool IsNew; ExplodedNode *N = C.Eng.G->getNode(Loc, State, &IsNew); N->addPredecessor(FromN, *C.Eng.G); @@ -570,6 +567,8 @@ ExplodedNode *StmtNodeBuilder::MakeNode(ExplodedNodeSet &Dst, ExplodedNode *BranchNodeBuilder::generateNode(const ProgramState *State, bool branch, ExplodedNode *NodePred) { + assert(Finalized == false && + "We cannot create new nodes after the results have been finalized."); // If the branch has been marked infeasible we should not generate a node. if (!isFeasible(branch)) |