diff options
Diffstat (limited to 'lib/Checker/RegionStore.cpp')
-rw-r--r-- | lib/Checker/RegionStore.cpp | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp index c59ecf8eb2..420f6650b8 100644 --- a/lib/Checker/RegionStore.cpp +++ b/lib/Checker/RegionStore.cpp @@ -215,7 +215,9 @@ public: delete (*I).second; } - SubRegionMap *getSubRegionMap(const GRState *state); + SubRegionMap *getSubRegionMap(Store store) { + return getRegionStoreSubRegionMap(store); + } RegionStoreSubRegionMap *getRegionStoreSubRegionMap(Store store); @@ -474,15 +476,10 @@ RegionStoreManager::getRegionStoreSubRegionMap(Store store) { return M; } -SubRegionMap *RegionStoreManager::getSubRegionMap(const GRState *state) { - return getRegionStoreSubRegionMap(state->getStore()); -} - //===----------------------------------------------------------------------===// // Binding invalidation. //===----------------------------------------------------------------------===// - void RegionStoreManager::RemoveSubRegionBindings(RegionBindings &B, const MemRegion *R, RegionStoreSubRegionMap &M) { |