Searched refs:BaseRegion (Results 1 – 7 of 7) sorted by relevance
66 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset() local67 if (!BaseRegion) in getDynamicExtentWithOffset()74 getDynamicExtent(State, BaseRegion, SvalBuilder); in getDynamicExtentWithOffset()
468 const SubRegion *BaseRegion = in getLValueElement() local472 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()486 BaseRegion, Ctx)); in getLValueElement()501 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
1892 RegionBindingsConstRef B, const TypedValueRegion *BaseRegion, in getDerivedSymbolForBinding() argument1894 assert(BaseRegion); in getDerivedSymbolForBinding()1895 QualType BaseTy = BaseRegion->getValueType(); in getDerivedSymbolForBinding()1899 if (const Optional<SVal> &ParentValue = 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()