Remove InvalidateRegion from stores, since it's no longer called from outside.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@110309 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/Checker/FlatStore.cpp b/lib/Checker/FlatStore.cpp
index 9e7aa753eec453976ad934eb8b7edb9680de4bf5..f113b2a29d8ccad28c5acb6b6a62ea0357565e98 100644 (file)
--- 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 733254311f4aead0d3a7c8a2e52526c1a0e1b097..507bbd51bf43aa55e2d385db370f87c49b1c251a 100644 (file)
--- 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());
       }
     }
   }