Fix crash reported in <rdar://problem/6695527>. We now have
SVal::GetRValueSymbolVal do the checking if we can symbolicate a type instead of
having BasicStoreManager do it (which wasn't always doing the check
consistently). Having this check in SVal::GetRValueSymbolVal keeps the check in
one centralized place.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@67245 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/SVals.cpp b/lib/Analysis/SVals.cpp
index cca0e94..3762ae5 100644
--- a/lib/Analysis/SVals.cpp
+++ b/lib/Analysis/SVals.cpp
@@ -324,11 +324,18 @@
SVal SVal::GetRValueSymbolVal(SymbolManager& SymMgr, const MemRegion* R) {
SymbolRef sym = SymMgr.getRegionRValueSymbol(R);
- if (const TypedRegion* TR = dyn_cast<TypedRegion>(R))
- if (Loc::IsLocType(TR->getRValueType(SymMgr.getContext())))
+ if (const TypedRegion* TR = dyn_cast<TypedRegion>(R)) {
+ QualType T = TR->getRValueType(SymMgr.getContext());
+
+ if (Loc::IsLocType(T))
return Loc::MakeVal(sym);
- return NonLoc::MakeVal(sym);
+ // Only handle integers for now.
+ if (T->isIntegerType())
+ return NonLoc::MakeVal(sym);
+ }
+
+ return UnknownVal();
}
nonloc::LocAsInteger nonloc::LocAsInteger::Make(BasicValueFactory& Vals, Loc V,