summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/GRState.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-08-15 12:45:09 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-08-15 12:45:09 +0000
commitee770d40fd54582abc0fca7d66d7d2c571be75b7 (patch)
tree854f5448d8a94c1baa4f790a6317ca0f89daef2c /clang/lib/Checker/GRState.cpp
parentd0fcc9a8181be47ae7d4b3be21a8c8a4682d8ddb (diff)
downloadbcm5719-llvm-ee770d40fd54582abc0fca7d66d7d2c571be75b7.tar.gz
bcm5719-llvm-ee770d40fd54582abc0fca7d66d7d2c571be75b7.zip
StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now.
llvm-svn: 111103
Diffstat (limited to 'clang/lib/Checker/GRState.cpp')
-rw-r--r--clang/lib/Checker/GRState.cpp8
1 files changed, 4 insertions, 4 deletions
diff --git a/clang/lib/Checker/GRState.cpp b/clang/lib/Checker/GRState.cpp
index bb76328c229..7d0b8745bb9 100644
--- a/clang/lib/Checker/GRState.cpp
+++ b/clang/lib/Checker/GRState.cpp
@@ -51,10 +51,10 @@ GRStateManager::RemoveDeadBindings(const GRState* state,
state, RegionRoots);
// Clean up the store.
- const GRState *s = StoreMgr->RemoveDeadBindings(NewState, LCtx,
- SymReaper, RegionRoots);
-
- return ConstraintMgr->RemoveDeadBindings(s, SymReaper);
+ NewState.St = StoreMgr->RemoveDeadBindings(NewState.St, LCtx,
+ SymReaper, RegionRoots);
+ state = getPersistentState(NewState);
+ return ConstraintMgr->RemoveDeadBindings(state, SymReaper);
}
const GRState *GRStateManager::MarshalState(const GRState *state,
OpenPOWER on IntegriCloud