forked from OSchip/llvm-project
As discussed with Ted offline, re-apply r70293.
llvm-svn: 70358
This commit is contained in:
parent
95c5b0e522
commit
3ee3044bd7
|
@ -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();
|
||||
|
|
Loading…
Reference in New Issue