diff options
author | Ted Kremenek <kremenek@apple.com> | 2010-02-06 00:30:00 +0000 |
---|---|---|
committer | Ted Kremenek <kremenek@apple.com> | 2010-02-06 00:30:00 +0000 |
commit | 85248734f404fbb9b2f88ecd5296761a8578def6 (patch) | |
tree | 50e4fcb1e02b5cbca5cd515e82a5ef59f0cf4991 /lib/Checker/MemRegion.cpp | |
parent | 8b6bbeb2a3eb59df77ce69f4eeb28aa6a81015ea (diff) |
Teach RegionStore::InvalidateRegions() to also invalidate static variables referenced by blocks.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@95459 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Checker/MemRegion.cpp')
-rw-r--r-- | lib/Checker/MemRegion.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Checker/MemRegion.cpp b/lib/Checker/MemRegion.cpp index 1e82883a68..cfa855e195 100644 --- a/lib/Checker/MemRegion.cpp +++ b/lib/Checker/MemRegion.cpp @@ -759,7 +759,7 @@ void BlockDataRegion::LazyInitializeReferencedVars() { 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) |