Searched refs:BaseRegion (Results 1 – 6 of 6) sorted by relevance
66 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset() local67 if (!BaseRegion) in getDynamicExtentWithOffset()74 getDynamicExtent(State, BaseRegion, SvalBuilder); in getDynamicExtentWithOffset()
455 const SubRegion *BaseRegion = in getLValueElement() local459 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()473 BaseRegion, Ctx)); in getLValueElement()488 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
238 const MemRegion *BaseRegion = R->getBaseRegion(); in checkFieldRegionAlign() local239 if (!BaseRegion) in checkFieldRegionAlign()242 if (const VarRegion *TheVarRegion = BaseRegion->getAs<VarRegion>()) { in checkFieldRegionAlign()
122 while (const auto *BaseRegion = dyn_cast<CXXBaseObjectRegion>(Region)) { in getArrayRegion() local123 Region = BaseRegion->getSuperRegion(); in getArrayRegion()
472 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall() local474 if (BaseRegion->getAs<CXXTempObjectRegion>() || in checkPostCall()
357 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit() local364 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit()368 if (isNonUnionUninit(BaseRegion, in isNonUnionUninit()