diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-03-10 00:18:08 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-03-10 00:18:08 +0000 |
| commit | 7de5f32479d742b76bb953464c7beea0e2a491a2 (patch) | |
| tree | 0c4a3481cda20b4f5d10e3c1e493bfeb6629e9d2 /clang | |
| parent | e6201784362534cd76c8f09ceaa2fb0ae14e8bf7 (diff) | |
| download | bcm5719-llvm-7de5f32479d742b76bb953464c7beea0e2a491a2.tar.gz bcm5719-llvm-7de5f32479d742b76bb953464c7beea0e2a491a2.zip | |
Enhance basic store to also lazily symbolicate VarRegions
with an 'unknown' memory space.
llvm-svn: 98110
Diffstat (limited to 'clang')
| -rw-r--r-- | clang/lib/Checker/BasicStore.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/lib/Checker/BasicStore.cpp b/clang/lib/Checker/BasicStore.cpp index d93a6658c68..10136f3fc45 100644 --- a/clang/lib/Checker/BasicStore.cpp +++ b/clang/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(); } |
