From: Jordy Rose <jediknil@belkadan.com>
Date: Thu, 5 Aug 2010 03:28:45 +0000 (+0000)
Subject: Remove InvalidateRegion from stores, since it's no longer called from outside.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=58f8b202d1f81bdbba9e1fad4d455afc8c124793;p=clang

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 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());
       }
     }
   }