Home
last modified time | relevance | path

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

/llvm-project-15.0.7/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()
/llvm-project-15.0.7/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()
171 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.cpp501 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
683 const ElementRegion *ER = nullptr; in getDescriptiveName()
684 while ((ER = R->getAs<ElementRegion>())) { in getDescriptiveName()
1118 const ElementRegion*
1129 auto *R = cast_or_null<ElementRegion>(data); in getElementRegion()
1132 R = A.Allocate<ElementRegion>(); in getElementRegion()
1133 new (R) ElementRegion(T, Idx, superRegion); in getElementRegion()
1332 const auto *ER = cast<ElementRegion>(R); in StripCasts()
1363 const ElementRegion *ER = this; in getAsArrayOffset()
1399 ER = dyn_cast<ElementRegion>(superR); in getAsArrayOffset()
[all …]
H A DRegionStore.cpp426 const ElementRegion *R);
1472 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1588 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1648 getElementRegionOffsetsWithBase(const ElementRegion *ER) { in getElementRegionOffsetsWithBase()
1655 ER = dyn_cast<ElementRegion>(Base); in getElementRegionOffsetsWithBase()
1725 RegionBindingsConstRef B, const ElementRegion *R) { in getConstantValFromConstArrayInitializer()
1938 } else if (isa<ElementRegion, VarRegion>(superR)) { in getBindingForElement()
2052 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
2126 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) { in getBindingForFieldOrElementCommon()
2138 if (isa<ElementRegion>(R)) { in getBindingForFieldOrElementCommon()
[all …]
H A DSimpleSValBuilder.cpp965 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
966 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
1135 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
H A DExprEngineCXX.cpp475 if (const auto *EL = dyn_cast_or_null<ElementRegion>(V.getAsRegion())) in updateObjectsUnderConstruction()
1010 const ElementRegion *EleReg = in VisitCXXNewExpr()
H A DSymbolManager.cpp421 if (const auto ER = dyn_cast<ElementRegion>(SR)) { in markElementIndicesLive()
H A DSValBuilder.cpp793 if (const auto *ER = dyn_cast<ElementRegion>(R)) { in VisitLocMemRegionVal()
/llvm-project-15.0.7/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.cpp47 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 DTaint.cpp167 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) in isTainted()
H A DArrayBoundCheckerV2.cpp324 const ElementRegion *elemReg = cast<ElementRegion>(region); in computeOffset()
H A DPointerArithChecker.cpp126 if (const auto *ElemRegion = dyn_cast<ElementRegion>(Region)) { in getArrayRegion()
H A DCStringChecker.cpp353 const auto *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
981 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in IsFirstBufInBound()
1019 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in InvalidateBuffer()
H A DValistChecker.cpp183 const auto *EReg = dyn_cast_or_null<ElementRegion>(Reg); in getVAListAsRegion()
H A DMallocChecker.cpp2233 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleNonHeapDealloc()
2552 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleFunctionPtrFree()
2952 if (isa<FieldRegion, ElementRegion>(MR)) in checkEscapeOnReturn()
H A DNullabilityChecker.cpp290 if (auto ElementReg = Region->getAs<ElementRegion>()) in getTrackRegion()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h179 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
280 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
H A DMemRegion.h1157 friend class ElementRegion; variable
1177 class ElementRegion : public TypedValueRegion {
1183 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion() function
1446 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1450 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
H A DRegions.def83 REGION(ElementRegion, TypedValueRegion)
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/
H A DSValExplainer.h174 std::string VisitElementRegion(const ElementRegion *R) { in VisitElementRegion()
/llvm-project-15.0.7/clang/test/Analysis/
H A Dmisc-ps.m445 // second line, 'p = &p[i]', p is assigned an ElementRegion whose index
446 // is a 16-bit integer. On the third line, a new ElementRegion is created
450 // ElementRegion is created.
H A Dmisc-ps-region-store.m449 // Exercise creating ElementRegion with symbolic super region.