aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2009-08-27 06:55:26 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2009-08-27 06:55:26 +0000
commitc99949653fa00bab038af008ceeec15d3d8f62cc (patch)
tree93b801e19febdcfdca75a34c287df770db695eca
parentf5afb5e1fa1877a4adf3328e5be31b2f959d82eb (diff)
Remove a unused member variable. Instead query the option from AnalysisManager.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@80226 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/GRExprEngine.h3
-rw-r--r--lib/Analysis/GRExprEngine.cpp6
2 files changed, 3 insertions, 6 deletions
diff --git a/include/clang/Analysis/PathSensitive/GRExprEngine.h b/include/clang/Analysis/PathSensitive/GRExprEngine.h
index 4ebc3f61a7..4e6e74d60a 100644
--- a/include/clang/Analysis/PathSensitive/GRExprEngine.h
+++ b/include/clang/Analysis/PathSensitive/GRExprEngine.h
@@ -77,9 +77,6 @@ class GRExprEngine : public GRSubEngine {
llvm::OwningPtr<GRSimpleAPICheck> BatchAuditor;
std::vector<Checker*> Checkers;
- /// PurgeDead - Remove dead bindings before processing a statement.
- bool PurgeDead;
-
/// BR - The BugReporter associated with this engine. It is important that
// this object be placed at the very end of member variables so that its
// destructor is called before the rest of the GRExprEngine is destroyed.
diff --git a/lib/Analysis/GRExprEngine.cpp b/lib/Analysis/GRExprEngine.cpp
index 41caeaf68a..668e3a9db3 100644
--- a/lib/Analysis/GRExprEngine.cpp
+++ b/lib/Analysis/GRExprEngine.cpp
@@ -245,9 +245,9 @@ void GRExprEngine::ProcessStmt(Stmt* S, GRStmtNodeBuilder& builder) {
// Create the cleaned state.
SymbolReaper SymReaper(*AMgr.getLiveVariables(), SymMgr);
- CleanedState = PurgeDead ? StateMgr.RemoveDeadBindings(EntryNode->getState(),
- CurrentStmt, SymReaper)
- : EntryNode->getState();
+ CleanedState = AMgr.shouldPurgeDead()
+ ? StateMgr.RemoveDeadBindings(EntryNode->getState(), CurrentStmt, SymReaper)
+ : EntryNode->getState();
// Process any special transfer function for dead symbols.
ExplodedNodeSet Tmp;