diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Checker/FlatStore.cpp | 10 | ||||
| -rw-r--r-- | lib/Checker/RegionStore.cpp | 10 |
2 files changed, 2 insertions, 18 deletions
diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp index 9e7aa753ee..f113b2a29d 100644 --- a/lib/Checker/FlatStore.cpp +++ b/lib/Checker/FlatStore.cpp @@ -57,9 +57,6 @@ public: typedef llvm::DenseSet<SymbolRef> InvalidatedSymbols; - Store InvalidateRegion(Store store, const MemRegion *R, const Expr *E, - unsigned Count, InvalidatedSymbols *IS); - Store InvalidateRegions(Store store, const MemRegion * const *I, const MemRegion * const *E, const Expr *Ex, unsigned Count, InvalidatedSymbols *IS, @@ -167,13 +164,6 @@ Store FlatStoreManager::InvalidateRegions(Store store, return store; } -Store FlatStoreManager::InvalidateRegion(Store store, const MemRegion *R, - const Expr *E, unsigned Count, - InvalidatedSymbols *IS) { - assert(false && "Not implemented"); - return store; -} - void FlatStoreManager::print(Store store, llvm::raw_ostream& Out, const char* nl, const char *sep) { } diff --git a/lib/Checker/RegionStore.cpp b/lib/Checker/RegionStore.cpp index 733254311f..507bbd51bf 100644 --- a/lib/Checker/RegionStore.cpp +++ b/lib/Checker/RegionStore.cpp @@ -226,12 +226,6 @@ public: // Binding values to regions. //===-------------------------------------------------------------------===// - Store InvalidateRegion(Store store, const MemRegion *R, const Expr *E, - unsigned Count, InvalidatedSymbols *IS) { - return RegionStoreManager::InvalidateRegions(store, &R, &R+1, E, Count, IS, - false); - } - Store InvalidateRegions(Store store, const MemRegion * const *Begin, const MemRegion * const *End, @@ -1391,8 +1385,8 @@ Store RegionStoreManager::Bind(Store store, Loc L, SVal V) { } // For now, just invalidate the fields of the struct/union/class. // FIXME: Precisely handle the fields of the record. - if (superTy->isRecordType()) - return InvalidateRegion(store, superR, NULL, 0, NULL); + if (superTy->isStructureOrClassType()) + return KillStruct(store, superR, UnknownVal()); } } } |