| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| H A D | MPIChecker.cpp | 34 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-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 60 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
67 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
165 const ElementRegion *elementR = cast<ElementRegion>(R); in castRegion()
459 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
488 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
|
| H A D | MemRegion.cpp | 498 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
680 const ElementRegion *ER = nullptr; in getDescriptiveName()
681 while ((ER = R->getAs<ElementRegion>())) { in getDescriptiveName()
1095 const ElementRegion*
1106 auto *R = cast_or_null<ElementRegion>(data); in getElementRegion()
1109 R = A.Allocate<ElementRegion>(); in getElementRegion()
1110 new (R) ElementRegion(T, Idx, superRegion); in getElementRegion()
1308 const auto *ER = cast<ElementRegion>(R); in StripCasts()
1339 const ElementRegion *ER = this; in getAsArrayOffset()
1375 ER = dyn_cast<ElementRegion>(superR); in getAsArrayOffset()
[all …]
|
| H A D | RegionStore.cpp | 563 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
1483 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1599 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1629 const ElementRegion* R) { in getBindingForElement()
1807 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
1881 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) { in getBindingForFieldOrElementCommon()
1893 if (isa<ElementRegion>(R)) { in getBindingForFieldOrElementCommon()
2228 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2275 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
|
| H A D | SimpleSValBuilder.cpp | 892 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
893 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
1062 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
|
| H A D | SymbolManager.cpp | 395 if (const auto ER = dyn_cast<ElementRegion>(SR)) { in markElementIndicesLive()
|
| H A D | SValBuilder.cpp | 791 if (const auto *ER = dyn_cast<ElementRegion>(R)) { in evalCastSubKind()
|
| H A D | ExprEngineCXX.cpp | 904 const ElementRegion *EleReg = in VisitCXXNewExpr()
|
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ReturnPointerRangeChecker.cpp | 46 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R); in checkPreStmt()
|
| H A D | ArrayBoundChecker.cpp | 43 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in checkLocation()
|
| H A D | CheckPlacementNew.cpp | 47 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 D | UndefResultChecker.cpp | 49 const ElementRegion *ER = dyn_cast<ElementRegion>(MR); in isArrayIndexOutOfBounds()
|
| H A D | Taint.cpp | 165 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) in isTainted()
|
| H A D | ArrayBoundCheckerV2.cpp | 325 const ElementRegion *elemReg = cast<ElementRegion>(region); in computeOffset()
|
| H A D | PointerArithChecker.cpp | 126 if (const auto *ElemRegion = dyn_cast<ElementRegion>(Region)) { in getArrayRegion()
|
| H A D | CStringChecker.cpp | 339 const auto *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
915 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in IsFirstBufInBound()
953 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in InvalidateBuffer()
|
| H A D | ValistChecker.cpp | 182 const auto *EReg = dyn_cast_or_null<ElementRegion>(Reg); in getVAListAsRegion()
|
| H A D | MallocChecker.cpp | 2021 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleNonHeapDealloc()
2339 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleFunctionPtrFree()
2736 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkEscapeOnReturn()
|
| H A D | NullabilityChecker.cpp | 290 if (auto ElementReg = Region->getAs<ElementRegion>()) in getTrackRegion()
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 179 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
280 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
|
| H A D | MemRegion.h | 1123 friend class ElementRegion; variable
1141 class ElementRegion : public TypedValueRegion {
1147 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion() function
1404 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1408 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
|
| H A D | Regions.def | 83 REGION(ElementRegion, TypedValueRegion)
|
| /freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 169 std::string VisitElementRegion(const ElementRegion *R) { in VisitElementRegion()
|