commit e74bf07f0f8f1be620c57e656e72f27ca1b43ce2
author Ted Kremenek <kremenek@apple.com> Wed Mar 04 02:43:08 2009 +0000
committer Ted Kremenek <kremenek@apple.com> Wed Mar 04 02:43:08 2009 +0000
tree fb4c2123aec1baf7a801e74a6c35510eafc23d2e
parent 1fb145b96e5e004c5b7b1cc4e6e55f7dead47c57

Added the notion of a "boundable region", which is a region that can have a direct binding in the StoreManager.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@66005 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/CFRefCount.cpp

diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 13805dc..5e18571 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1650,7 +1650,7 @@
           R = dyn_cast<TypedRegion>(ATR->getSuperRegion());
         }
         
-        if (R) {          
+        if (R && R->isBoundable(Ctx)) {          
           // Is the invalidated variable something that we were tracking?
           SymbolRef Sym = state.GetSValAsScalarOrLoc(R).getAsLocSymbol();
           if (Sym.isValid())