From fc2b79029c182ffc8c1b67ab4e7791bb4263f937 Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Tue, 11 Oct 2011 18:19:20 +0000 Subject: [PATCH] [analyzer] Remove an unused member variable. llvm-svn: 141690 --- .../StaticAnalyzer/Core/PathSensitive/CoreEngine.h | 5 ++--- clang/lib/StaticAnalyzer/Core/CoreEngine.cpp | 11 ++++------- 2 files changed, 6 insertions(+), 10 deletions(-) diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h index 350b669e6764..131d39e75528 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h @@ -166,7 +166,7 @@ class StmtNodeBuilder { const CFGBlock &B; const unsigned Idx; ExplodedNode *Pred; - ProgramStateManager& Mgr; + public: bool PurgingDeadSymbols; @@ -184,8 +184,7 @@ public: StmtNodeBuilder(const CFGBlock *b, unsigned idx, ExplodedNode *N, - CoreEngine* e, - ProgramStateManager &mgr); + CoreEngine* e); ~StmtNodeBuilder(); diff --git a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp index 0587977f2c8c..525219846a93 100644 --- a/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp +++ b/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp @@ -314,8 +314,7 @@ void CoreEngine::HandleBlockEntrance(const BlockEntrance &L, // Process the entrance of the block. if (CFGElement E = L.getFirstElement()) { - StmtNodeBuilder Builder(L.getBlock(), 0, Pred, this, - SubEng.getStateManager()); + StmtNodeBuilder Builder(L.getBlock(), 0, Pred, this); SubEng.processCFGElement(E, Builder); } else @@ -430,8 +429,7 @@ void CoreEngine::HandlePostStmt(const CFGBlock *B, unsigned StmtIdx, if (StmtIdx == B->size()) HandleBlockExit(B, Pred); else { - StmtNodeBuilder Builder(B, StmtIdx, Pred, this, - SubEng.getStateManager()); + StmtNodeBuilder Builder(B, StmtIdx, Pred, this); SubEng.processCFGElement((*B)[StmtIdx], Builder); } } @@ -480,9 +478,8 @@ GenericNodeBuilderImpl::generateNodeImpl(const ProgramState *state, StmtNodeBuilder::StmtNodeBuilder(const CFGBlock *b, unsigned idx, ExplodedNode *N, - CoreEngine* e, - ProgramStateManager &mgr) - : Eng(*e), B(*b), Idx(idx), Pred(N), Mgr(mgr), + CoreEngine* e) + : Eng(*e), B(*b), Idx(idx), Pred(N), PurgingDeadSymbols(false), BuildSinks(false), hasGeneratedNode(false), PointKind(ProgramPoint::PostStmtKind), Tag(0) { Deferred.insert(N);