forked from OSchip/llvm-project
Now we can remove the 'blast-through' code.
llvm-svn: 70293
This commit is contained in:
parent
76fe50c654
commit
6e304e6323
|
@ -1904,13 +1904,6 @@ void CFRefCount::EvalSummary(ExplodedNodeSet<GRState>& Dst,
|
||||||
|
|
||||||
const TypedRegion* R = dyn_cast<TypedRegion>(MR->getRegion());
|
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) {
|
if (R) {
|
||||||
// Is the invalidated variable something that we were tracking?
|
// Is the invalidated variable something that we were tracking?
|
||||||
SymbolRef Sym = state.GetSValAsScalarOrLoc(R).getAsLocSymbol();
|
SymbolRef Sym = state.GetSValAsScalarOrLoc(R).getAsLocSymbol();
|
||||||
|
|
Loading…
Reference in New Issue