diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-15 12:45:09 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-08-15 12:45:09 +0000 |
commit | ee770d40fd54582abc0fca7d66d7d2c571be75b7 (patch) | |
tree | 854f5448d8a94c1baa4f790a6317ca0f89daef2c /clang/lib/Checker/GRState.cpp | |
parent | d0fcc9a8181be47ae7d4b3be21a8c8a4682d8ddb (diff) | |
download | bcm5719-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.cpp | 8 |
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, |