aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRState.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-12-05 00:47:52 +0000
committerTed Kremenek <kremenek@apple.com>2008-12-05 00:47:52 +0000
commit2ed14beed7dcb46245328d72ac7011c92c1bd676 (patch)
tree648920a505945b17474cd79c77d0c3527eca7fef /lib/Analysis/GRState.cpp
parent802db9b4d5fba62890447bea39d637896a920e44 (diff)
StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60570 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/GRState.cpp')
-rw-r--r--lib/Analysis/GRState.cpp14
1 files changed, 7 insertions, 7 deletions
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index dd296e0676..83ab508117 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -33,7 +33,7 @@ GRStateManager::~GRStateManager() {
}
const GRState*
-GRStateManager::RemoveDeadBindings(const GRState* St, Stmt* Loc,
+GRStateManager::RemoveDeadBindings(const GRState* state, Stmt* Loc,
const LiveVariables& Liveness,
DeadSymbolsTy& DSymbols) {
@@ -45,17 +45,17 @@ GRStateManager::RemoveDeadBindings(const GRState* St, Stmt* Loc,
// for optimum performance.
llvm::SmallVector<const MemRegion*, 10> RegionRoots;
StoreManager::LiveSymbolsTy LSymbols;
- GRState NewSt = *St;
+ GRState NewState = *state;
- NewSt.Env =
- EnvMgr.RemoveDeadBindings(NewSt.Env, Loc, Liveness, RegionRoots, LSymbols);
+ NewState.Env = EnvMgr.RemoveDeadBindings(NewState.Env, Loc, Liveness,
+ RegionRoots, LSymbols);
// Clean up the store.
DSymbols.clear();
- NewSt.St = StoreMgr->RemoveDeadBindings(St->getStore(), Loc, Liveness,
- RegionRoots, LSymbols, DSymbols);
+ NewState.St = StoreMgr->RemoveDeadBindings(&NewState, Loc, Liveness,
+ RegionRoots, LSymbols, DSymbols);
- return ConstraintMgr->RemoveDeadBindings(getPersistentState(NewSt),
+ return ConstraintMgr->RemoveDeadBindings(getPersistentState(NewState),
LSymbols, DSymbols);
}