replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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

llvm-svn: 110309
This commit is contained in:
Jordy Rose 2010-08-05 03:28:45 +00:00
parent a12b9deea0
commit c88c74cb2f
2 changed files with 2 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/lib/Checker/FlatStore.cpp
View File

@ -57,9 +57,6 @@ public:
typedef llvm::DenseSet<SymbolRef> InvalidatedSymbols; 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, Store InvalidateRegions(Store store, const MemRegion * const *I,
const MemRegion * const *E, const Expr *Ex, const MemRegion * const *E, const Expr *Ex,
unsigned Count, InvalidatedSymbols *IS, unsigned Count, InvalidatedSymbols *IS,
@ -167,13 +164,6 @@ Store FlatStoreManager::InvalidateRegions(Store store,
return 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, void FlatStoreManager::print(Store store, llvm::raw_ostream& Out,
const char* nl, const char *sep) { const char* nl, const char *sep) {
} }

10
clang/lib/Checker/RegionStore.cpp
View File

@ -226,12 +226,6 @@ public:
// Binding values to regions. // 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, Store InvalidateRegions(Store store,
const MemRegion * const *Begin, const MemRegion * const *Begin,
const MemRegion * const *End, 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. // For now, just invalidate the fields of the struct/union/class.
// FIXME: Precisely handle the fields of the record. // FIXME: Precisely handle the fields of the record.
if (superTy->isRecordType()) if (superTy->isStructureOrClassType())
return InvalidateRegion(store, superR, NULL, 0, NULL); return KillStruct(store, superR, UnknownVal());
} }
} }
} }