diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-05 03:01:53 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-02-05 03:01:53 +0000 |
| commit | 576bb92057979b14ca04b3080a9405662d0217a3 (patch) | |
| tree | 7912ce922c5dbc4d887c65d6af3d44fd4b234896 /lib/Checker/FlatStore.cpp | |
| parent | bfcaf8048d1673320de60a22ca9c297d7484b2a8 (diff) | |
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95357 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
| -rw-r--r-- | lib/Checker/FlatStore.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp index 99afbb8931..7350845357 100644 --- a/lib/Checker/FlatStore.cpp +++ b/lib/Checker/FlatStore.cpp @@ -27,7 +27,7 @@ public: RBFactory(mgr.getAllocator()), BVFactory(mgr.getAllocator()) {} - SVal Retrieve(const GRState *state, Loc loc, QualType T); + SVal Retrieve(Store store, Loc loc, QualType T); const GRState *Bind(const GRState *state, Loc loc, SVal val); Store Remove(Store St, Loc L); const GRState *BindCompoundLiteral(const GRState *state, @@ -73,7 +73,7 @@ StoreManager *clang::CreateFlatStoreManager(GRStateManager &StMgr) { return new FlatStoreManager(StMgr); } -SVal FlatStoreManager::Retrieve(const GRState *state, Loc loc, QualType T) { +SVal FlatStoreManager::Retrieve(Store store, Loc loc, QualType T) { return UnknownVal(); } |