aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/FlatStore.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
commit5e4cb347cbf12c292b80386c872e5eaef21b5c23 (patch)
tree4655b61acef9e261b15a6ef4e57f68fe49a9dd66 /lib/Checker/FlatStore.cpp
parentc83d2d7d8914a0fe00d679a262f2bdae7689f16d (diff)
StoreManager::RemoveDeadBindings() can take a Store instead of an entire GRState now.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@111103 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
-rw-r--r--lib/Checker/FlatStore.cpp5
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp
index 46e24773db..7c986a71df 100644
--- a/lib/Checker/FlatStore.cpp
+++ b/lib/Checker/FlatStore.cpp
@@ -44,11 +44,10 @@ public:
}
SVal ArrayToPointer(Loc Array);
- const GRState *RemoveDeadBindings(GRState &state,
- const StackFrameContext *LCtx,
+ Store RemoveDeadBindings(Store store, const StackFrameContext *LCtx,
SymbolReaper& SymReaper,
llvm::SmallVectorImpl<const MemRegion*>& RegionRoots){
- return StateMgr.getPersistentState(state);
+ return store;
}
Store BindDecl(Store store, const VarRegion *VR, SVal initVal);