commit 5abd69d946374a8a40fe4fd47f95b49c24d9643a
author Ted Kremenek <kremenek@apple.com> Sat Feb 06 00:30:00 2010 +0000
committer Ted Kremenek <kremenek@apple.com> Sat Feb 06 00:30:00 2010 +0000
tree 2006e6e02941f9f104781e33075d33ed571526b7
parent ca972cd1f1e016cc144a47eb34bcca51e59a6fab

Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks.

llvm-svn: 95459

clang/lib/Checker/MemRegion.cpp

diff --git a/clang/lib/Checker/MemRegion.cpp b/clang/lib/Checker/MemRegion.cpp
index 1e82883..cfa855e 100644
--- a/clang/lib/Checker/MemRegion.cpp
+++ b/clang/lib/Checker/MemRegion.cpp
@@ -759,7 +759,7 @@
     const VarDecl *VD = *I;
     const VarRegion *VR = 0;
     
-    if (!VD->getAttr<BlocksAttr>())
+    if (!VD->getAttr<BlocksAttr>() && VD->hasLocalStorage())
       VR = MemMgr.getVarRegion(VD, this);
     else {
       if (LC)