Since now we store the cast type with an ElementRegion, there is
no need to store a type with SymbolRegionValue.
llvm-svn: 97437
diff --git a/clang/lib/Checker/ValueManager.cpp b/clang/lib/Checker/ValueManager.cpp
index 5359489..aa0c3c8 100644
--- a/clang/lib/Checker/ValueManager.cpp
+++ b/clang/lib/Checker/ValueManager.cpp
@@ -70,18 +70,14 @@
return SVator->EvalCastNL(cast<NonLoc>(V), ArrayIndexTy);
}
-DefinedOrUnknownSVal ValueManager::getRegionValueSymbolVal(const MemRegion* R,
- QualType T) {
-
- if (T.isNull()) {
- const TypedRegion* TR = cast<TypedRegion>(R);
- T = TR->getValueType(SymMgr.getContext());
- }
+DefinedOrUnknownSVal
+ValueManager::getRegionValueSymbolVal(const TypedRegion* R) {
+ QualType T = R->getValueType(SymMgr.getContext());
if (!SymbolManager::canSymbolicate(T))
return UnknownVal();
- SymbolRef sym = SymMgr.getRegionValueSymbol(R, T);
+ SymbolRef sym = SymMgr.getRegionValueSymbol(R);
if (Loc::IsLocType(T))
return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));