Home
last modified time | relevance | path

Searched refs:BaseRegion (Results 1 – 7 of 7) sorted by relevance

/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp94 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset() local
95 if (!BaseRegion) in getDynamicExtentWithOffset()
100 DefinedOrUnknownSVal ExtentInBytes = getDynamicExtent(State, BaseRegion, SVB); in getDynamicExtentWithOffset()
H A DStore.cpp468 const SubRegion *BaseRegion = in getLValueElement() local
472 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
496 BaseRegion, Ctx)); in getLValueElement()
511 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
H A DRegionStore.cpp1884 RegionBindingsConstRef B, const TypedValueRegion *BaseRegion, in getDerivedSymbolForBinding() argument
1886 assert(BaseRegion); in getDerivedSymbolForBinding()
1887 QualType BaseTy = BaseRegion->getValueType(); in getDerivedSymbolForBinding()
1892 B.getDirectBinding(BaseRegion)) { in getDerivedSymbolForBinding()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp238 const MemRegion *BaseRegion = R->getBaseRegion(); in checkFieldRegionAlign() local
239 if (!BaseRegion) in checkFieldRegionAlign()
242 if (const VarRegion *TheVarRegion = BaseRegion->getAs<VarRegion>()) { in checkFieldRegionAlign()
H A DPointerArithChecker.cpp122 while (const auto *BaseRegion = dyn_cast<CXXBaseObjectRegion>(Region)) { in getArrayRegion() local
123 Region = BaseRegion->getSuperRegion(); in getArrayRegion()
H A DMoveChecker.cpp473 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall() local
475 if (BaseRegion->getAs<CXXTempObjectRegion>() || in checkPostCall()
/src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp352 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit() local
359 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit()
363 if (isNonUnionUninit(BaseRegion, in isNonUnionUninit()