diff options
author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-29 02:30:09 +0000 |
---|---|---|
committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-04-29 02:30:09 +0000 |
commit | f82af1e03a195d09d11953ed0e5b90835d75f1f4 (patch) | |
tree | 2f0fa96102b62f2d1f75d52e998289c4be1ce320 /lib/Analysis/CFRefCount.cpp | |
parent | 2fc3259293282a428f71520805720ecc9e50af9f (diff) |
As discussed with Ted offline, re-apply r70293.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@70358 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/CFRefCount.cpp')
-rw-r--r-- | lib/Analysis/CFRefCount.cpp | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/lib/Analysis/CFRefCount.cpp b/lib/Analysis/CFRefCount.cpp index 97efd28c06..004eecad15 100644 --- a/lib/Analysis/CFRefCount.cpp +++ b/lib/Analysis/CFRefCount.cpp @@ -1919,14 +1919,7 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst, // disambiguate conjured symbols. 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(); |