diff options
| author | Ted Kremenek <kremenek@apple.com> | 2009-12-11 06:43:27 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2009-12-11 06:43:27 +0000 |
| commit | 2b87ae45e129b941d0a4d221c9d4842385a119bd (patch) | |
| tree | 25d052be3aaf688c995b9292988d2fe4a8a125cd /lib/Analysis/Store.cpp | |
| parent | a49c6b7da5684e061612de70b62fe892b67f35c4 (diff) | |
Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@91107 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/Store.cpp')
| -rw-r--r-- | lib/Analysis/Store.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Analysis/Store.cpp b/lib/Analysis/Store.cpp index be4ce2d57c..e6ff6e5af4 100644 --- a/lib/Analysis/Store.cpp +++ b/lib/Analysis/Store.cpp @@ -81,6 +81,7 @@ const MemRegion *StoreManager::CastRegion(const MemRegion *R, QualType CastToTy) case MemRegion::StackLocalsSpaceRegionKind: case MemRegion::StackArgumentsSpaceRegionKind: case MemRegion::HeapSpaceRegionKind: + case MemRegion::UnknownSpaceRegionKind: case MemRegion::GlobalsSpaceRegionKind: { assert(0 && "Invalid region cast"); break; |