[cfe-commits] r75713 - /cfe/trunk/lib/Analysis/Store.cpp
Ted Kremenek
kremenek at apple.com
Tue Jul 14 16:52:16 PDT 2009
Author: kremenek
Date: Tue Jul 14 18:52:07 2009
New Revision: 75713
URL: http://llvm.org/viewvc/llvm-project?rev=75713&view=rev
Log:
Handle cast of 'ObjCObjectRegion' in StoreManager::InvalidateRegion.
Modified:
cfe/trunk/lib/Analysis/Store.cpp
Modified: cfe/trunk/lib/Analysis/Store.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/Store.cpp?rev=75713&r1=75712&r2=75713&view=diff
==============================================================================
--- cfe/trunk/lib/Analysis/Store.cpp (original)
+++ cfe/trunk/lib/Analysis/Store.cpp Tue Jul 14 18:52:07 2009
@@ -225,11 +225,15 @@
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;
}
More information about the cfe-commits
mailing list