Searched refs:BaseRegion (Results 1 – 7 of 7) sorted by relevance
67 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset() local68 if (!BaseRegion) in getDynamicExtentWithOffset()75 getDynamicExtent(State, BaseRegion, SvalBuilder); in getDynamicExtentWithOffset()
469 const SubRegion *BaseRegion = in getLValueElement() local473 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()487 BaseRegion, Ctx)); in getLValueElement()502 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
1897 RegionBindingsConstRef B, const TypedValueRegion *BaseRegion, in getDerivedSymbolForBinding() argument1899 assert(BaseRegion); in getDerivedSymbolForBinding()1900 QualType BaseTy = BaseRegion->getValueType(); in getDerivedSymbolForBinding()1905 B.getDirectBinding(BaseRegion)) { in getDerivedSymbolForBinding()
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()
471 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall() local473 if (BaseRegion->getAs<CXXTempObjectRegion>() || in checkPostCall()
355 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit() local362 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit()366 if (isNonUnionUninit(BaseRegion, in isNonUnionUninit()