diff options
| author | Anna Zaks <ganna@apple.com> | 2011-10-24 21:19:59 +0000 |
|---|---|---|
| committer | Anna Zaks <ganna@apple.com> | 2011-10-24 21:19:59 +0000 |
| commit | aa0aeb1cbe117db68d35700cb3a34aace0f99b99 (patch) | |
| tree | c3857abdcf6f18737fe243c4be0fcb6bfd00e381 /lib/StaticAnalyzer/Core/CoreEngine.cpp | |
| parent | cca79db2ea94f71fb088f4b0f104cef8bedf8ff2 (diff) | |
[analyzer] Node builders cleanup + comments
Renamed PureNodeBuilder->StmtNodeBuilder.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@142849 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/StaticAnalyzer/Core/CoreEngine.cpp')
| -rw-r--r-- | lib/StaticAnalyzer/Core/CoreEngine.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/StaticAnalyzer/Core/CoreEngine.cpp b/lib/StaticAnalyzer/Core/CoreEngine.cpp index d6425c470b..6a14815d5d 100644 --- a/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/lib/StaticAnalyzer/Core/CoreEngine.cpp @@ -491,7 +491,6 @@ ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, ExplodedNode *FromN, bool MarkAsSink) { HasGeneratedNodes = true; - bool IsNew; ExplodedNode *N = C.Eng.G->getNode(Loc, State, &IsNew); N->addPredecessor(FromN, *C.Eng.G); @@ -506,7 +505,7 @@ ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, return (IsNew ? N : 0); } -PureStmtNodeBuilder::~PureStmtNodeBuilder() { +StmtNodeBuilder::~StmtNodeBuilder() { if (EnclosingBldr) for (ExplodedNodeSet::iterator I = Frontier.begin(), E = Frontier.end(); I != E; ++I ) |