Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DDynamicExtent.cpp93 const MemRegion *BaseRegion = MRegion->getBaseRegion(); in getDynamicExtentWithOffset() local
94 if (!BaseRegion) in getDynamicExtentWithOffset()
99 DefinedOrUnknownSVal ExtentInBytes = getDynamicExtent(State, BaseRegion, SVB); in getDynamicExtentWithOffset()
H A DRegionStore.cpp191 RegionBindingsRef removeCluster(const MemRegion *BaseRegion) const { in removeCluster()
192 return RegionBindingsRef(ParentTy::remove(BaseRegion), *CBFactory, in removeCluster()
291 const auto &[BaseRegion, Bindings] = *C; in printJson()
293 << "{ \"cluster\": \"" << BaseRegion << "\", \"pointer\": \"" in printJson()
294 << (const void *)BaseRegion << "\", \"items\": [" << NL; in printJson()
323 commitBindingsToCluster(const MemRegion *BaseRegion,
357 addWithoutDecreasingLimit(const MemRegion *BaseRegion, in addWithoutDecreasingLimit() argument
360 BaseRegion, BindingKeyAndValue), in addWithoutDecreasingLimit()
364 LimitedRegionBindingsRef removeCluster(const MemRegion *BaseRegion) const { in removeCluster()
366 RegionBindingsRef::removeCluster(BaseRegion), *EscapedValuesDuringBind, in removeCluster()
[all …]
H A DStore.cpp470 const SubRegion *BaseRegion = in getLValueElement() local
474 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
498 BaseRegion, Ctx)); in getLValueElement()
/freebsd/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 DMoveChecker.cpp476 const MemRegion *BaseRegion = ArgRegion->getBaseRegion(); in checkPostCall() local
478 if (BaseRegion->getAs<CXXTempObjectRegion>() || in checkPostCall()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/
H A DUninitializedObjectChecker.cpp354 const auto *BaseRegion = State->getLValue(BaseSpec, R) in isNonUnionUninit() local
361 if (isNonUnionUninit(BaseRegion, LocalChain.replaceHead( in isNonUnionUninit()
365 if (isNonUnionUninit(BaseRegion, in isNonUnionUninit()