/// castRegion - Used by ExprEngine::VisitCast to handle casts from
/// a MemRegion* to a specific location type. 'R' is the region being
/// casted and 'CastToTy' the result type of the cast.
- const MemRegion *castRegion(const MemRegion *region, QualType CastToTy);
+ Optional<const MemRegion *> castRegion(const MemRegion *region,
+ QualType CastToTy);
virtual StoreRef removeDeadBindings(Store store, const StackFrameContext *LCtx,
SymbolReaper &SymReaper) = 0;
if (const auto *SR = dyn_cast<SymbolicRegion>(R)) {
QualType SRTy = SR->getSymbol()->getType();
if (!hasSameUnqualifiedPointeeType(SRTy, CastTy)) {
- R = StateMgr.getStoreManager().castRegion(SR, CastTy);
- return loc::MemRegionVal(R);
+ if (auto OptR = StateMgr.getStoreManager().castRegion(SR, CastTy))
+ return loc::MemRegionVal(*OptR);
}
}
}
// Next fixes pointer dereference using type different from its initial
// one. See PR37503 and PR49007 for details.
if (const auto *ER = dyn_cast<ElementRegion>(R)) {
- if ((R = StateMgr.getStoreManager().castRegion(ER, CastTy)))
- return loc::MemRegionVal(R);
+ if (auto OptR = StateMgr.getStoreManager().castRegion(ER, CastTy))
+ return loc::MemRegionVal(*OptR);
}
return V;
// Get the result of casting a region to a different type.
const MemRegion *R = V.getRegion();
- if ((R = StateMgr.getStoreManager().castRegion(R, CastTy)))
- return loc::MemRegionVal(R);
+ if (auto OptR = StateMgr.getStoreManager().castRegion(R, CastTy))
+ return loc::MemRegionVal(*OptR);
}
// Pointer to whatever else.
if (!IsUnknownOriginalType && Loc::isLocType(CastTy) &&
OriginalTy->isIntegralOrEnumerationType()) {
if (const MemRegion *R = L.getAsRegion())
- if ((R = StateMgr.getStoreManager().castRegion(R, CastTy)))
- return loc::MemRegionVal(R);
+ if (auto OptR = StateMgr.getStoreManager().castRegion(R, CastTy))
+ return loc::MemRegionVal(*OptR);
return L;
}
// Delegate to store manager to get the result of casting a region to a
// different type. If the MemRegion* returned is NULL, this expression
// Evaluates to UnknownVal.
- if ((R = StateMgr.getStoreManager().castRegion(R, CastTy)))
- return loc::MemRegionVal(R);
+ if (auto OptR = StateMgr.getStoreManager().castRegion(R, CastTy))
+ return loc::MemRegionVal(*OptR);
}
} else {
if (Loc::isLocType(CastTy)) {
return MRMgr.getElementRegion(T, idx, R, Ctx);
}
-const MemRegion *StoreManager::castRegion(const MemRegion *R, QualType CastToTy) {
+Optional<const MemRegion *> StoreManager::castRegion(const MemRegion *R,
+ QualType CastToTy) {
ASTContext &Ctx = StateMgr.getContext();
// Handle casts to Objective-C objects.
// We don't know what to make of it. Return a NULL region, which
// will be interpreted as UnknownVal.
- return nullptr;
+ return None;
}
// Now assume we are casting from pointer to pointer. Other cases should
// If we cannot compute a raw offset, throw up our hands and return
// a NULL MemRegion*.
if (!baseR)
- return nullptr;
+ return None;
CharUnits off = rawOff.getOffset();