When cast derived to base, only process MemRegionVal.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122494 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/EntoSA/RegionStore.cpp b/lib/EntoSA/RegionStore.cpp
index 4913d1a3893dfc4a9cb80b91d7ff1818cd4f96bf..49795c689279fb68373bea8875bddc430c3e3256 100644 (file)
--- a/lib/EntoSA/RegionStore.cpp
+++ b/lib/EntoSA/RegionStore.cpp
@@ -817,9 +817,12 @@ SVal RegionStoreManager::evalDerivedToBase(SVal derived, QualType baseType) {
 
   assert(baseDecl && "not a CXXRecordDecl?");
 
-  loc::MemRegionVal &derivedRegVal = cast<loc::MemRegionVal>(derived);
+  loc::MemRegionVal *derivedRegVal = dyn_cast<loc::MemRegionVal>(&derived);
+  if (!derivedRegVal)
+    return derived;
+
   const MemRegion *baseReg = 
-    MRMgr.getCXXBaseObjectRegion(baseDecl, derivedRegVal.getRegion());
+    MRMgr.getCXXBaseObjectRegion(baseDecl, derivedRegVal->getRegion());
   return loc::MemRegionVal(baseReg);
 }
 //===----------------------------------------------------------------------===//