Home
last modified time | relevance | path

Searched refs:ElementRegion (Results 1 – 25 of 25) sorted by relevance

/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/
H A DMPIChecker.cpp34 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR); in checkDoubleNonblocking()
64 const ElementRegion *const ER = dyn_cast<ElementRegion>(MR); in checkUnmatchedWaits()
154 if (const ElementRegion *const ER = MR->getAs<ElementRegion>()) { in allRegionsUsedByWait()
173 const ElementRegion *const ER = RegionManager.getElementRegion( in allRegionsUsedByWait()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DStore.cpp60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
172 const ElementRegion *elementR = cast<ElementRegion>(R); in castRegion()
472 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
501 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
H A DMemRegion.cpp533 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
715 const ElementRegion *ER = nullptr; in getDescriptiveName()
716 while ((ER = R->getAs<ElementRegion>())) { in getDescriptiveName()
1150 const ElementRegion*
1157 ElementRegion::ProfileRegion(ID, T, Idx, superRegion); in getElementRegion()
1161 auto *R = cast_or_null<ElementRegion>(data); in getElementRegion()
1164 R = new (A) ElementRegion(T, Idx, superRegion); in getElementRegion()
1375 const auto *ER = cast<ElementRegion>(R); in StripCasts()
1406 const ElementRegion *ER = this; in getAsArrayOffset()
1442 ER = dyn_cast<ElementRegion>(superR); in getAsArrayOffset()
[all …]
H A DRegionStore.cpp432 const ElementRegion *R);
1460 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1576 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1636 getElementRegionOffsetsWithBase(const ElementRegion *ER) { in getElementRegionOffsetsWithBase()
1643 ER = dyn_cast<ElementRegion>(Base); in getElementRegionOffsetsWithBase()
1713 RegionBindingsConstRef B, const ElementRegion *R) { in getConstantValFromConstArrayInitializer()
1931 } else if (isa<ElementRegion, VarRegion>(superR)) { in getBindingForElement()
2043 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
2118 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) { in getBindingForFieldOrElementCommon()
2130 if (isa<ElementRegion>(R)) { in getBindingForFieldOrElementCommon()
[all …]
H A DSimpleSValBuilder.cpp992 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
993 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
1164 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
H A DExprEngineCXX.cpp495 if (const auto *EL = dyn_cast_or_null<ElementRegion>(V.getAsRegion())) in updateObjectsUnderConstruction()
1070 const ElementRegion *EleReg = in VisitCXXNewExpr()
H A DSymbolManager.cpp415 if (const auto ER = dyn_cast<ElementRegion>(SR)) { in markElementIndicesLive()
H A DBugReporterVisitors.cpp1464 while (isa<FieldRegion>(TVR) || isa<ElementRegion>(TVR)) { in tryExtractInitializerFromList()
1501 } else if (const auto *ER = dyn_cast<ElementRegion>(TVR)) { in tryExtractInitializerFromList()
1605 while (isa<FieldRegion>(SR) || isa<ElementRegion>(SR)) { in VisitNode()
1625 } else if (const auto *ER = dyn_cast<ElementRegion>(TopR)) { in VisitNode()
H A DSValBuilder.cpp800 if (const auto *ER = dyn_cast<ElementRegion>(R)) { in VisitMemRegionVal()
H A DExprEngineCallAndReturn.cpp210 if (auto ThisElementRegion = dyn_cast<ElementRegion>(ThisVal.getAsRegion())) { in getElementCountOfArrayBeingDestructed()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DArrayBoundChecker.cpp43 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in checkLocation()
H A DCheckPlacementNew.cpp47 void checkElementRegionAlign(const ElementRegion *R, CheckerContext &C,
177 const ElementRegion *R, CheckerContext &C, const Expr *P, in checkElementRegionAlign()
284 if (const ElementRegion *TheElementRegion = MRegion->getAs<ElementRegion>()) in checkPlaceIsAlignedProperly()
H A DReturnPointerRangeChecker.cpp53 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R); in checkPreStmt()
H A DUndefResultChecker.cpp49 const ElementRegion *ER = dyn_cast<ElementRegion>(MR); in isArrayIndexOutOfBounds()
H A DArrayBoundCheckerV2.cpp96 const ElementRegion *CurRegion = in computeOffset()
97 dyn_cast_or_null<ElementRegion>(Location.getAsRegion()); in computeOffset()
127 CurRegion = dyn_cast_or_null<ElementRegion>(OwnerRegion); in computeOffset()
264 const auto *EReg = Location.getAsRegion()->getAs<ElementRegion>(); in getExceedsMsgs()
H A DTaint.cpp221 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) { in getTaintedSymbolsImpl()
H A DPointerArithChecker.cpp126 if (const auto *ElemRegion = dyn_cast<ElementRegion>(Region)) { in getArrayRegion()
H A DValistChecker.cpp182 const auto *EReg = dyn_cast_or_null<ElementRegion>(Reg); in getVAListAsRegion()
H A DCStringChecker.cpp392 const auto *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
1040 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in isFirstBufInBound()
1140 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in invalidateBufferAux()
H A DNullabilityChecker.cpp330 if (const auto *ER = dyn_cast<ElementRegion>(FieldReg->getSuperRegion())) in getTrackRegion()
334 if (auto ElementReg = Region->getAs<ElementRegion>()) in getTrackRegion()
H A DMallocChecker.cpp2229 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleNonHeapDealloc()
2548 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleFunctionPtrFree()
2945 if (isa<FieldRegion, ElementRegion>(MR)) in checkEscapeOnReturn()
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h180 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
281 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
H A DMemRegion.h1174 friend class ElementRegion; variable
1194 class ElementRegion : public TypedValueRegion {
1200 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion() function
1504 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1508 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
H A DRegions.def84 REGION(ElementRegion, TypedValueRegion)
/freebsd-14.2/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h45 bool isThisObject(const ElementRegion *R) { in isThisObject()
186 std::string VisitElementRegion(const ElementRegion *R) { in VisitElementRegion()