aboutsummaryrefslogtreecommitdiff
path: root/lib/Checker/FlatStore.cpp
diff options
context:
space:
mode:
authorZhongxing Xu <xuzhongxing@gmail.com>2010-02-05 05:18:47 +0000
committerZhongxing Xu <xuzhongxing@gmail.com>2010-02-05 05:18:47 +0000
commitf5416bdb75832e0a400cf3b19bd2116d2fed9ebe (patch)
tree05c77f66feede3558479907f879e9752f7af67ec /lib/Checker/FlatStore.cpp
parentdc81c880cad01f01888632d28345077336ca06a4 (diff)
More GRState* -> Store changes.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95362 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
-rw-r--r--lib/Checker/FlatStore.cpp9
1 files changed, 3 insertions, 6 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp
index e9246642ed..c4f37dff65 100644
--- a/lib/Checker/FlatStore.cpp
+++ b/lib/Checker/FlatStore.cpp
@@ -37,7 +37,9 @@ public:
return RBFactory.GetEmptyMap().getRoot();
}
- SubRegionMap *getSubRegionMap(const GRState *state);
+ SubRegionMap *getSubRegionMap(Store store) {
+ return 0;
+ }
SVal getLValueVar(const VarDecl *VD, const LocationContext *LC);
@@ -88,11 +90,6 @@ Store FlatStoreManager::BindCompoundLiteral(Store store,
return store;
}
-
-SubRegionMap *FlatStoreManager::getSubRegionMap(const GRState *state) {
- return 0;
-}
-
SVal FlatStoreManager::getLValueVar(const VarDecl *VD,
const LocationContext *LC) {
return UnknownVal();