зеркало из https://github.com/microsoft/clang-1.git
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
This commit is contained in:
Родитель
2fc3259293
Коммит
f82af1e03a
|
@ -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();
|
||||
|
|
Загрузка…
Ссылка в новой задаче