diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-05 05:34:29 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-05 05:34:29 +0000 |
commit | 72119c478ffb35354bb168890c77e6ab5271ba06 (patch) | |
tree | 2794edf995973d16788d49a98375e077f8aeafce /lib/Checker/FlatStore.cpp | |
parent | 461147fc8d39f7ad9ee91c53e113df585bd58a64 (diff) |
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95365 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
-rw-r--r-- | lib/Checker/FlatStore.cpp | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp index c4f37dff65..4622f47877 100644 --- a/lib/Checker/FlatStore.cpp +++ b/lib/Checker/FlatStore.cpp @@ -48,9 +48,10 @@ public: SVal getLValueField(const FieldDecl* D, SVal Base); SVal getLValueElement(QualType elementType, SVal offset, SVal Base); SVal ArrayToPointer(Loc Array); - void RemoveDeadBindings(GRState &state, Stmt* Loc, - SymbolReaper& SymReaper, - llvm::SmallVectorImpl<const MemRegion*>& RegionRoots); + Store RemoveDeadBindings(Store store, Stmt* Loc, SymbolReaper& SymReaper, + llvm::SmallVectorImpl<const MemRegion*>& RegionRoots){ + return store; + } Store BindDecl(Store store, const VarRegion *VR, SVal initVal); @@ -116,11 +117,6 @@ SVal FlatStoreManager::ArrayToPointer(Loc Array) { return Array; } -void FlatStoreManager::RemoveDeadBindings(GRState &state, Stmt* Loc, - SymbolReaper& SymReaper, - llvm::SmallVectorImpl<const MemRegion*>& RegionRoots) { -} - Store FlatStoreManager::BindDecl(Store store, const VarRegion *VR, SVal initVal) { return store; |