summaryrefslogtreecommitdiffstats
path: root/clang/lib/Checker/RegionStore.cpp
diff options
context:
space:
mode:
authorJordy Rose <jediknil@belkadan.com>2010-08-05 03:28:45 +0000
committerJordy Rose <jediknil@belkadan.com>2010-08-05 03:28:45 +0000
commitc88c74cb2f2b2b1106d309875b49a2f127b151ab (patch)
tree23bc2a399790e568a6a77e365a261233c45fc2bf /clang/lib/Checker/RegionStore.cpp
parenta12b9deea06cafefa9073e301700a3a717739bd7 (diff)
downloadbcm5719-llvm-c88c74cb2f2b2b1106d309875b49a2f127b151ab.tar.gz
bcm5719-llvm-c88c74cb2f2b2b1106d309875b49a2f127b151ab.zip
Remove InvalidateRegion from stores, since it's no longer called from outside.
llvm-svn: 110309
Diffstat (limited to 'clang/lib/Checker/RegionStore.cpp')
-rw-r--r--clang/lib/Checker/RegionStore.cpp10
1 files changed, 2 insertions, 8 deletions
diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp
index 733254311f4..507bbd51bf4 100644
--- a/clang/lib/Checker/RegionStore.cpp
+++ b/clang/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());
}
}
}
OpenPOWER on IntegriCloud