[cfe-commits] r75713 - /cfe/trunk/lib/Analysis/Store.cpp

[Ted Kremenek]

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;
   }