commit 7de5f32479d742b76bb953464c7beea0e2a491a2
author Ted Kremenek <kremenek@apple.com> Wed Mar 10 00:18:08 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Mar 10 00:18:08 2010 +0000
tree 0c4a3481cda20b4f5d10e3c1e493bfeb6629e9d2
parent e6201784362534cd76c8f09ceaa2fb0ae14e8bf7

Enhance basic store to also lazily symbolicate VarRegions
with an 'unknown' memory space.

llvm-svn: 98110

clang/lib/Checker/BasicStore.cpp

diff --git a/clang/lib/Checker/BasicStore.cpp b/clang/lib/Checker/BasicStore.cpp
index d93a665..10136f3 100644
--- a/clang/lib/Checker/BasicStore.cpp
+++ b/clang/lib/Checker/BasicStore.cpp
@@ -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();
 }