| /freebsd/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()
152 if (const ElementRegion *const ER = MR->getAs<ElementRegion>()) { in allRegionsUsedByWait()
171 const ElementRegion *const ER = RegionManager.getElementRegion( in allRegionsUsedByWait()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| 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 | PointerSubChecker.cpp | 67 const auto *ElemLR = dyn_cast<ElementRegion>(LR); in checkPreStmt()
68 const auto *ElemRR = dyn_cast<ElementRegion>(RR); in checkPreStmt()
|
| H A D | UndefResultChecker.cpp | 48 const ElementRegion *ER = dyn_cast<ElementRegion>(MR); in isArrayIndexOutOfBounds()
|
| H A D | ArrayBoundChecker.cpp | 54 if (isa<ElementRegion>(SubscriptBaseReg->StripCasts())) in getAsCleanArraySubscriptExpr()
197 const ElementRegion *CurRegion = in computeOffset()
198 dyn_cast_or_null<ElementRegion>(Location.getAsRegion()); in computeOffset()
228 CurRegion = dyn_cast_or_null<ElementRegion>(OwnerRegion); in computeOffset()
427 const auto *EReg = Location.getAsRegion()->getAs<ElementRegion>(); in getExceedsMsgs()
|
| H A D | Taint.cpp | 230 if (const ElementRegion *ER = dyn_cast<ElementRegion>(Reg)) { in getTaintedSymbolsImpl()
|
| H A D | CStringChecker.cpp | 406 const ElementRegion *ER, CharKind CK) { in getIndex()
446 const auto *ER = dyn_cast_or_null<ElementRegion>(R); in checkInit()
568 const auto *ER = dyn_cast<ElementRegion>(R); in CheckLocation()
1191 const ElementRegion *ER = dyn_cast<ElementRegion>(R); in isFirstBufInBound()
1291 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in invalidateBufferAux()
|
| H A D | ValistChecker.cpp | 181 const auto *EReg = dyn_cast_or_null<ElementRegion>(Reg); in getVAListAsRegion()
|
| H A D | NullabilityChecker.cpp | 327 if (const auto *ER = dyn_cast<ElementRegion>(FieldReg->getSuperRegion())) in getTrackRegion()
331 if (auto ElementReg = Region->getAs<ElementRegion>()) in getTrackRegion()
|
| H A D | MallocChecker.cpp | 2528 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleNonHeapDealloc()
2782 while (const ElementRegion *ER = dyn_cast_or_null<ElementRegion>(MR)) in HandleFunctionPtrFree()
3202 if (isa<FieldRegion, ElementRegion>(MR)) in checkEscapeOnReturn()
|
| H A D | StreamChecker.cpp | 1079 if (const auto *ER = dyn_cast<ElementRegion>(R)) in getPointeeType()
1098 if (const auto *ER = dyn_cast<ElementRegion>(R)) in getStartIndex()
1121 if (const auto *ER = dyn_cast_or_null<ElementRegion>(Buffer)) in tryToInvalidateFReadBufferByElements()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Store.cpp | 62 const ElementRegion *StoreManager::MakeElementRegion(const SubRegion *Base, in MakeElementRegion()
69 const ElementRegion *StoreManager::GetElementZeroRegion(const SubRegion *R, in GetElementZeroRegion()
174 const ElementRegion *elementR = cast<ElementRegion>(R); in castRegion()
474 const auto *ElemR = dyn_cast<ElementRegion>(BaseRegion); in getLValueElement()
|
| H A D | MemRegion.cpp | 351 void ElementRegion::ProfileRegion(llvm::FoldingSetNodeID& ID, in ProfileRegion()
360 void ElementRegion::Profile(llvm::FoldingSetNodeID& ID) const { in Profile()
361 ElementRegion::ProfileRegion(ID, ElementType, Index, superRegion); in Profile()
542 void ElementRegion::dumpToStream(raw_ostream &os) const { in dumpToStream()
742 const ElementRegion *ER = nullptr; in getDescriptiveName()
743 while ((ER = R->getAs<ElementRegion>())) { in getDescriptiveName()
1216 const ElementRegion *
1223 ElementRegion::ProfileRegion(ID, T, Idx, superRegion); in getElementRegion()
1227 auto *R = cast_or_null<ElementRegion>(data); in getElementRegion()
1230 R = new (A) ElementRegion(T, Idx, superRegion); in getElementRegion()
[all …]
|
| H A D | RegionStore.cpp | 584 const ElementRegion *R);
729 SVal getBindingForElement(RegionBindingsConstRef B, const ElementRegion *R);
1619 if (const ElementRegion* ER = dyn_cast<ElementRegion>(R)) { in getBinding()
1735 if (const ElementRegion *ER = dyn_cast<ElementRegion>(R)) { in findLazyBinding()
1795 getElementRegionOffsetsWithBase(const ElementRegion *ER) { in getElementRegionOffsetsWithBase()
1802 ER = dyn_cast<ElementRegion>(Base); in getElementRegionOffsetsWithBase()
1872 RegionBindingsConstRef B, const ElementRegion *R) { in getConstantValFromConstArrayInitializer()
2068 const ElementRegion* R) { in getBindingForElement()
2090 } else if (isa<ElementRegion, VarRegion>(superR)) { in getBindingForElement()
2202 if (const ElementRegion *ER = dyn_cast<ElementRegion>(LazyBindingRegion)) in getLazyBinding()
[all …]
|
| H A D | SimpleSValBuilder.cpp | 995 const ElementRegion *RightER = dyn_cast<ElementRegion>(RightMR); in evalBinOpLL()
996 const ElementRegion *LeftER = dyn_cast<ElementRegion>(LeftMR); in evalBinOpLL()
1167 if (const ElementRegion *elemReg = dyn_cast<ElementRegion>(region)) { in evalBinOpLN()
|
| H A D | ExprEngineCXX.cpp | 505 if (const auto *EL = dyn_cast_or_null<ElementRegion>(V.getAsRegion())) in updateObjectsUnderConstruction()
540 const ElementRegion *ElementRegion = in bindRequiredArrayElementToEnvironment() local
544 loc::MemRegionVal(ElementRegion)); in bindRequiredArrayElementToEnvironment()
1042 const ElementRegion *EleReg = in VisitCXXNewExpr()
|
| H A D | SymbolManager.cpp | 292 if (const auto ER = dyn_cast<ElementRegion>(SR)) { in markElementIndicesLive()
|
| H A D | BugReporterVisitors.cpp | 1420 while (isa<FieldRegion>(TVR) || isa<ElementRegion>(TVR)) { in tryExtractInitializerFromList()
1457 } else if (const auto *ER = dyn_cast<ElementRegion>(TVR)) { in tryExtractInitializerFromList()
1561 while (isa<FieldRegion>(SR) || isa<ElementRegion>(SR)) { in VisitNode()
1581 } else if (const auto *ER = dyn_cast<ElementRegion>(TopR)) { in VisitNode()
|
| H A D | SValBuilder.cpp | 801 if (const auto *ER = dyn_cast<ElementRegion>(R)) { in VisitMemRegionVal()
|
| H A D | ExprEngineCallAndReturn.cpp | 206 if (auto ThisElementRegion = dyn_cast<ElementRegion>(ThisVal.getAsRegion())) { in getElementCountOfArrayBeingDestructed()
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | Store.h | 188 const ElementRegion *GetElementZeroRegion(const SubRegion *R, QualType T);
291 const ElementRegion *MakeElementRegion(const SubRegion *baseRegion,
|
| H A D | MemRegion.h | 1207 friend class ElementRegion; variable
1227 class ElementRegion : public TypedValueRegion {
1233 ElementRegion(QualType elementType, NonLoc Idx, const SubRegion *sReg) in ElementRegion() function
1537 const ElementRegion *getElementRegion(QualType elementType, NonLoc Idx,
1541 const ElementRegion *getElementRegionWithSuper(const ElementRegion *ER, in getElementRegionWithSuper()
|
| H A D | Regions.def | 84 REGION(ElementRegion, TypedValueRegion)
|
| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 54 bool isThisObject(const ElementRegion *R) { in isThisObject()
197 std::string VisitElementRegion(const ElementRegion *R) { in VisitElementRegion()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 7754 …ingSetNodeIDENS_8QualTypeENS0_4SValEPKNS0_9MemRegionE", "clang::ento::ElementRegion::ProfileRegion…
7755 {"_ZNK5clang4ento13ElementRegion7ProfileERN4llvm16FoldingSetNodeIDE", "clang::ento::ElementRegion::…
7777 {"_ZNK5clang4ento13ElementRegion12dumpToStreamERN4llvm11raw_ostreamE", "clang::ento::ElementRegion:…
7814 {"_ZNK5clang4ento13ElementRegion16getAsArrayOffsetEv", "clang::ento::ElementRegion::getAsArrayOffse…
7888 {"_ZN5clang4ento13ElementRegionD1Ev", "clang::ento::ElementRegion::~ElementRegion()"},
7889 {"_ZN5clang4ento13ElementRegionD0Ev", "clang::ento::ElementRegion::~ElementRegion()"},
7890 {"_ZNK5clang4ento13ElementRegion12getValueTypeEv", "clang::ento::ElementRegion::getValueType() cons…
8085 … namespace)::RegionStoreManager::RetrieveElement(void const*, clang::ento::ElementRegion const*)"},
25271 {"_ZTVN5clang4ento13ElementRegionE", "vtable for clang::ento::ElementRegion"},
|