From: Ted Kremenek <kremenek@apple.com>
Date: Wed, 10 Mar 2010 00:18:08 +0000 (+0000)
Subject: Enhance basic store to also lazily symbolicate VarRegions
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=30986dd4b633a629f38e4806d9e8d16cb7b7bed7;p=clang

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

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@98110 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Checker/BasicStore.cpp b/lib/Checker/BasicStore.cpp
index d93a6658c6..10136f3fc4 100644
--- a/lib/Checker/BasicStore.cpp
+++ b/lib/Checker/BasicStore.cpp
@@ -142,7 +142,8 @@ SVal BasicStoreManager::LazyRetrieve(Store store, const TypedRegion *R) {
 
   // 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();
 }