diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-12-23 12:08:42 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2010-12-23 12:08:42 +0000 |
| commit | 3e310d33e4b3b2094df11b25eabde2caab610a94 (patch) | |
| tree | 71213b998d97cef8b8a57374fc8103993f88a8b7 | |
| parent | 3a8f40ed5e86a97e07d255976a95d2f3ad792b6d (diff) | |
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
| -rw-r--r-- | lib/EntoSA/RegionStore.cpp | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/lib/EntoSA/RegionStore.cpp b/lib/EntoSA/RegionStore.cpp index 4913d1a389..49795c6892 100644 --- 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); } //===----------------------------------------------------------------------===// |