summaryrefslogtreecommitdiffstats
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
commitea62bf4e582421ee64fa8f8caf81ce4afeeb1902 (patch)
treef8de5f12d09402f4e7ee8a843303d634c15691bd
parent0cd56890efcce7781cf70ad57be481334edbe15e (diff)
downloadbcm5719-llvm-ea62bf4e582421ee64fa8f8caf81ce4afeeb1902.tar.gz
bcm5719-llvm-ea62bf4e582421ee64fa8f8caf81ce4afeeb1902.zip
Revert 70293.
llvm-svn: 70313
-rw-r--r--clang/lib/Analysis/CFRefCount.cpp7
1 files changed, 7 insertions, 0 deletions
diff --git a/clang/lib/Analysis/CFRefCount.cpp b/clang/lib/Analysis/CFRefCount.cpp
index 8a8c704d623..538f4f27222 100644
--- a/clang/lib/Analysis/CFRefCount.cpp
+++ b/clang/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();
OpenPOWER on IntegriCloud