commit 2b87ae45e129b941d0a4d221c9d4842385a119bd
author Ted Kremenek <kremenek@apple.com> Fri Dec 11 06:43:27 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Fri Dec 11 06:43:27 2009 +0000
tree 25d052be3aaf688c995b9292988d2fe4a8a125cd
parent a49c6b7da5684e061612de70b62fe892b67f35c4

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

lib/Analysis/Store.cpp

diff --git a/lib/Analysis/Store.cpp b/lib/Analysis/Store.cpp
index be4ce2d..e6ff6e5 100644
--- a/lib/Analysis/Store.cpp
+++ b/lib/Analysis/Store.cpp
@@ -81,6 +81,7 @@
     case MemRegion::StackLocalsSpaceRegionKind:
     case MemRegion::StackArgumentsSpaceRegionKind:
     case MemRegion::HeapSpaceRegionKind:
+    case MemRegion::UnknownSpaceRegionKind:
     case MemRegion::GlobalsSpaceRegionKind: {
       assert(0 && "Invalid region cast");
       break;