diff options
Diffstat (limited to 'lib/Checker/FlatStore.cpp')
-rw-r--r-- | lib/Checker/FlatStore.cpp | 9 |
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(); |