maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion. 

llvm-svn: 75713
This commit is contained in:
Ted Kremenek 2009-07-14 23:52:07 +00:00
parent dfbd05d8aa
commit e5d2f79876
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
clang/lib/Analysis/Store.cpp
View File

@ -225,11 +225,15 @@ const GRState *StoreManager::InvalidateRegion(const GRState *state,
if (!R->isBoundable())
return state;
if (isa<AllocaRegion>(R) || isa<SymbolicRegion>(R)) {
if (isa<AllocaRegion>(R) || isa<SymbolicRegion>(R)
|| isa<ObjCObjectRegion>(R)) {
// Invalidate the alloca region by setting its default value to
// conjured symbol. The type of the symbol is irrelavant.
SVal V = ValMgr.getConjuredSymbolVal(E, Ctx.IntTy, Count);
state = setDefaultValue(state, R, V);
// FIXME: This form of invalidation is a little bogus; we actually need
// to invalidate all subregions as well.
return state;
}