[cfe-commits] r98110 - /cfe/trunk/lib/Checker/BasicStore.cpp

Ted Kremenek kremenek at apple.com
Tue Mar 9 16:18:08 PST 2010


Author: kremenek
Date: Tue Mar  9 18:18:08 2010
New Revision: 98110

URL: http://llvm.org/viewvc/llvm-project?rev=98110&view=rev
Log:
Enhance basic store to also lazily symbolicate VarRegions
with an 'unknown' memory space.

Modified:
    cfe/trunk/lib/Checker/BasicStore.cpp

Modified: cfe/trunk/lib/Checker/BasicStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Checker/BasicStore.cpp?rev=98110&r1=98109&r2=98110&view=diff
==============================================================================
--- cfe/trunk/lib/Checker/BasicStore.cpp (original)
+++ cfe/trunk/lib/Checker/BasicStore.cpp Tue Mar  9 18:18:08 2010
@@ -142,7 +142,8 @@
 
   // Globals and parameters start with symbolic values.
   // Local variables initially are undefined.
-  if (VR->hasGlobalsOrParametersStorage())
+  if (VR->hasGlobalsOrParametersStorage() ||
+      isa<UnknownSpaceRegion>(VR->getMemorySpace()))
     return ValMgr.getRegionValueSymbolVal(R);
   return UndefinedVal();
 }





More information about the cfe-commits mailing list