diff options
author | Jordy Rose <jediknil@belkadan.com> | 2010-08-05 03:28:45 +0000 |
---|---|---|
committer | Jordy Rose <jediknil@belkadan.com> | 2010-08-05 03:28:45 +0000 |
commit | 58f8b202d1f81bdbba9e1fad4d455afc8c124793 (patch) | |
tree | 951b428a14c782a1002f89473caab978d6b9872c /lib/Checker/RegionStore.cpp | |
parent | b15be0d10216abdc83c48cc60bcb3e2a73a962cd (diff) |
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
Diffstat (limited to 'lib/Checker/RegionStore.cpp')
-rw-r--r-- | lib/Checker/RegionStore.cpp | 10 |
1 files changed, 2 insertions, 8 deletions
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()); } } } |