summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2009-04-28 18:48:13 +0000
committerTed Kremenek <kremenek@apple.com>2009-04-28 18:48:13 +0000
commitb9dda75a0afc8d2294e8bcbc5358ba5316f2f9a6 (patch)
tree30331240408b91e15c1e6fcd6ff5c4c0360cd87d
parent2dec3a1aa161fdd4a8dd650eee522c020490732f (diff)
downloadclang-b9dda75a0afc8d2294e8bcbc5358ba5316f2f9a6.tar.gz
Revert 70293.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70313 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--lib/Analysis/CFRefCount.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp
index 8a8c704d62..538f4f2722 100644
--- a/lib/Analysis/CFRefCount.cpp
+++ b/lib/Analysis/CFRefCount.cpp
@@ -1904,6 +1904,13 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
const TypedRegion* R = dyn_cast<TypedRegion>(MR->getRegion());
+ // Blast through TypedViewRegions to get the original region type.
+ while (R) {
+ const TypedViewRegion* ATR = dyn_cast<TypedViewRegion>(R);
+ if (!ATR) break;
+ R = dyn_cast<TypedRegion>(ATR->getSuperRegion());
+ }
+
if (R) {
// Is the invalidated variable something that we were tracking?
SymbolRef Sym = state.GetSValAsScalarOrLoc(R).getAsLocSymbol();