Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion.
llvm-svn: 120173
diff --git a/clang/lib/Checker/RegionStore.cpp b/clang/lib/Checker/RegionStore.cpp
index e5b1bca..59c8730 100644
--- a/clang/lib/Checker/RegionStore.cpp
+++ b/clang/lib/Checker/RegionStore.cpp
@@ -224,6 +224,9 @@
/// casts from arrays to pointers.
SVal ArrayToPointer(Loc Array);
+ /// For DerivedToBase casts, create a CXXBaseObjectRegion and return it.
+ virtual SVal evalDerivedToBase(SVal derived, QualType basePtrType);
+
SVal EvalBinOp(BinaryOperator::Opcode Op,Loc L, NonLoc R, QualType resultTy);
Store getInitialStore(const LocationContext *InitLoc) {
@@ -804,6 +807,14 @@
return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, ArrayR, Ctx));
}
+SVal RegionStoreManager::evalDerivedToBase(SVal derived, QualType basePtrType) {
+ const CXXRecordDecl *baseDecl = basePtrType->getCXXRecordDeclForPointerType();
+ assert(baseDecl && "not a CXXRecordDecl?");
+ loc::MemRegionVal &derivedRegVal = cast<loc::MemRegionVal>(derived);
+ const MemRegion *baseReg =
+ MRMgr.getCXXBaseObjectRegion(baseDecl, derivedRegVal.getRegion());
+ return loc::MemRegionVal(baseReg);
+}
//===----------------------------------------------------------------------===//
// Pointer arithmetic.
//===----------------------------------------------------------------------===//
@@ -869,6 +880,7 @@
case MemRegion::FieldRegionKind:
case MemRegion::ObjCIvarRegionKind:
case MemRegion::CXXObjectRegionKind:
+ case MemRegion::CXXBaseObjectRegionKind:
return UnknownVal();
case MemRegion::FunctionTextRegionKind: