summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
diff options
context:
space:
mode:
authorAnna Zaks <ganna@apple.com>2011-10-24 21:19:43 +0000
committerAnna Zaks <ganna@apple.com>2011-10-24 21:19:43 +0000
commit7b8a2609ffeec1f585d5ba331c254e1f6c361f5c (patch)
tree8797d7835aac3dff9495d6627181ab5af4196d10 /clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
parentcbb407268e06bce2dda06edf0b94093e5a2c8ae1 (diff)
downloadbcm5719-llvm-7b8a2609ffeec1f585d5ba331c254e1f6c361f5c.tar.gz
bcm5719-llvm-7b8a2609ffeec1f585d5ba331c254e1f6c361f5c.zip
[analyzer] Remove more dependencies from global Builder
- OSAtomicChecker - ExprEngine::processStmt llvm-svn: 142846
Diffstat (limited to 'clang/lib/StaticAnalyzer/Core/CheckerManager.cpp')
-rw-r--r--clang/lib/StaticAnalyzer/Core/CheckerManager.cpp5
1 files changed, 0 insertions, 5 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
index aac181fdb4b..bb069671460 100644
--- a/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
+++ b/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp
@@ -117,7 +117,6 @@ static void expandGraphWithCheckers(CHECK_CTX checkCtx,
}
NodeBuilder B(*PrevSet, *CurrSet, BldrCtx);
- checkCtx.Eng.getBuilder().takeNodes(*PrevSet);
for (ExplodedNodeSet::iterator NI = PrevSet->begin(), NE = PrevSet->end();
NI != NE; ++NI) {
checkCtx.runChecker(*I, B, *NI);
@@ -127,8 +126,6 @@ static void expandGraphWithCheckers(CHECK_CTX checkCtx,
if (CurrSet->empty())
return;
- checkCtx.Eng.getBuilder().addNodes(*CurrSet);
-
// Update which NodeSet is the current one.
PrevSet = CurrSet;
}
@@ -453,7 +450,6 @@ void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
}
#endif
- Eng.getBuilder().takeNodes(Pred);
ExplodedNodeSet checkDst;
NodeBuilder B(Pred, checkDst, Eng.getBuilderContext());
// Next, check if any of the EvalCall callbacks can evaluate the call.
@@ -475,7 +471,6 @@ void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
if (evaluated) {
anyEvaluated = true;
Dst.insert(checkDst);
- Eng.getBuilder().addNodes(checkDst);
#ifdef NDEBUG
break; // on release don't check that no other checker also evals.
#endif
OpenPOWER on IntegriCloud