| /freebsd-12.1/contrib/llvm/tools/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()
172 const ElementRegion *const ER = RegionManager->getElementRegion( in allRegionsUsedByWait()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 61 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
68 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
164 const ElementRegion *elementR = cast<ElementRegion>(R); in castRegion()
494 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
523 if (isa<ElementRegion>(BaseRegion->StripCasts())) in getLValueElement()
|
| H A D | MemRegion.cpp | 504 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
668 const ElementRegion *ER = nullptr; in getDescriptiveName()
669 while ((ER = R->getAs<ElementRegion>())) { in getDescriptiveName()
987 const ElementRegion*
998 auto *R = cast_or_null<ElementRegion>(data); in getElementRegion()
1001 R = A.Allocate<ElementRegion>(); in getElementRegion()
1002 new (R) ElementRegion(T, Idx, superRegion); in getElementRegion()
1199 const auto *ER = cast<ElementRegion>(R); in StripCasts()
1230 const ElementRegion *ER = this; in getAsArrayOffset()
1266 ER = dyn_cast<ElementRegion>(superR); in getAsArrayOffset()
[all …]
|
| H A D | RegionStore.cpp | 522 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
1477 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1593 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1623 const ElementRegion* R) { in getBindingForElement()
1800 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
1874 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Base)) { in getBindingForFieldOrElementCommon()
1886 if (isa<ElementRegion>(R)) { in getBindingForFieldOrElementCommon()
2211 const ElementRegion *ER = MRMgr.getElementRegion(ElementTy, Idx, R, Ctx); in bindArray()
2259 const ElementRegion *ER = MRMgr.getElementRegion(ElemType, Idx, R, Ctx); in bindVector()
|
| H A D | SimpleSValBuilder.cpp | 1009 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
1010 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
1170 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
|
| H A D | ProgramState.cpp | 760 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) in isTainted()
|
| H A D | SymbolManager.cpp | 415 if (const auto ER = dyn_cast<ElementRegion>(SR)) { in markElementIndicesLive()
|
| H A D | ExprEngineCXX.cpp | 778 const ElementRegion *EleReg = in VisitCXXNewExpr()
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | ArrayBoundChecker.cpp | 43 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in checkLocation()
|
| H A D | ReturnPointerRangeChecker.cpp | 46 const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(R); in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 49 const ElementRegion *ER = dyn_cast<ElementRegion>(MR); in isArrayIndexOutOfBounds()
|
| H A D | ArrayBoundCheckerV2.cpp | 324 const ElementRegion *elemReg = cast<ElementRegion>(region); in computeOffset()
|
| H A D | CStringChecker.cpp | 288 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
892 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in IsFirstBufInBound()
932 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in InvalidateBuffer()
|
| H A D | PointerArithChecker.cpp | 128 Region = Region->getAs<ElementRegion>()->getSuperRegion(); in getArrayRegion()
|
| H A D | ValistChecker.cpp | 181 const auto *EReg = dyn_cast_or_null<ElementRegion>(Reg); in getVAListAsRegion()
|
| H A D | MallocChecker.cpp | 1799 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in ReportBadFree()
2103 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in ReportFunctionPointerFree()
2480 if (isa<FieldRegion>(MR) || isa<ElementRegion>(MR)) in checkEscapeOnReturn()
|
| H A D | NullabilityChecker.cpp | 287 if (auto ElementReg = Region->getAs<ElementRegion>()) in getTrackRegion()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 188 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
287 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
|
| H A D | MemRegion.h | 1068 friend class ElementRegion; variable
1086 class ElementRegion : public TypedValueRegion {
1092 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion() function
1331 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1335 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
|
| H A D | Regions.def | 80 REGION(ElementRegion, TypedValueRegion)
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 168 std::string VisitElementRegion(const ElementRegion *R) { in VisitElementRegion()
|