Simplify more code by using SVal::getAsSymbol() instead of
loc::SymbolVal/nonloc::SymbolVal probing.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@68049 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/GRState.cpp b/lib/Analysis/GRState.cpp
index 7399ad4..82cb1f2 100644
--- a/lib/Analysis/GRState.cpp
+++ b/lib/Analysis/GRState.cpp
@@ -243,12 +243,9 @@
bool ScanReachableSymbols::scan(SVal val) {
if (loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&val))
return scan(X->getRegion());
-
- if (loc::SymbolVal *X = dyn_cast<loc::SymbolVal>(&val))
- return visitor.VisitSymbol(X->getSymbol());
-
- if (nonloc::SymbolVal *X = dyn_cast<nonloc::SymbolVal>(&val))
- return visitor.VisitSymbol(X->getSymbol());
+
+ if (SymbolRef Sym = val.getAsSymbol())
+ return visitor.VisitSymbol(Sym);
if (nonloc::CompoundVal *X = dyn_cast<nonloc::CompoundVal>(&val))
return scan(*X);
@@ -304,12 +301,9 @@
if (nonloc::ConcreteInt* X = dyn_cast<nonloc::ConcreteInt>(&V))
return X->getValue() == Y;
- if (nonloc::SymbolVal* X = dyn_cast<nonloc::SymbolVal>(&V))
- return ConstraintMgr->isEqual(state, X->getSymbol(), Y);
-
- if (loc::SymbolVal* X = dyn_cast<loc::SymbolVal>(&V))
- return ConstraintMgr->isEqual(state, X->getSymbol(), Y);
-
+ if (SymbolRef Sym = V.getAsSymbol())
+ return ConstraintMgr->isEqual(state, Sym, Y);
+
return false;
}