| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | CheckPlacementNew.cpp | 53 bool isVarRegionAlignedProperly(const VarRegion *R, CheckerContext &C,
242 if (const VarRegion *TheVarRegion = BaseRegion->getAs<VarRegion>()) { in checkFieldRegionAlign()
261 const VarRegion *R, CheckerContext &C, const Expr *P, in isVarRegionAlignedProperly()
288 else if (const VarRegion *TheVarRegion = MRegion->getAs<VarRegion>()) in checkPlaceIsAlignedProperly()
|
| H A D | MacOSXAPIChecker.cpp | 96 if (const VarRegion *VR = dyn_cast<VarRegion>(RB)) { in CheckDispatchOnce()
|
| H A D | UnixAPIChecker.cpp | 295 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) in CheckPthreadOnce()
301 if (isa<VarRegion>(R) && isa<StackLocalsSpaceRegion>(R->getMemorySpace())) in CheckPthreadOnce()
|
| H A D | StackAddrEscapeChecker.cpp | 96 } else if (const auto *VR = dyn_cast<VarRegion>(R)) { in genName()
408 const VarRegion *ReferrerVar = cast<VarRegion>(Referrer->getBaseRegion()); in checkEndFunction()
|
| H A D | NSErrorChecker.cpp | 202 if (const VarRegion *VR = R->getAs<VarRegion>()) in parameterTypeFromSVal()
|
| H A D | UndefCapturedBlockVarChecker.cpp | 65 const VarRegion *VR = I.getCapturedRegion(); in checkPostStmt()
|
| H A D | NonnullGlobalConstantsChecker.cpp | 97 auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion()); in isGlobalConstString()
|
| H A D | MIGChecker.cpp | 132 const auto *VR = dyn_cast<VarRegion>(MR); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
|
| H A D | MallocChecker.cpp | 2158 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2173 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2188 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2715 const VarRegion *VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()
2988 const VarRegion *VR = I.getCapturedRegion(); in checkPostStmt()
|
| H A D | MoveChecker.cpp | 555 bool IsLocal = isa_and_nonnull<VarRegion>(MR) && in classifyObject()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | MemRegion.h | 59 class VarRegion; variable
718 const VarRegion *getCapturedRegion() const { in getCapturedRegion()
719 return cast<VarRegion>(*R); in getCapturedRegion()
723 const VarRegion *getOriginalRegion() const { in getOriginalRegion()
724 return cast<VarRegion>(*OriginalR); in getOriginalRegion()
746 const VarRegion *getOriginalRegion(const VarRegion *VR) const;
761 std::pair<const VarRegion *, const VarRegion *>
928 class VarRegion : public DeclRegion {
960 class NonParamVarRegion : public VarRegion {
967 : VarRegion(sReg, NonParamVarRegionKind), VD(vd) { in NonParamVarRegion()
[all …]
|
| H A D | Regions.def | 76 ABSTRACT_REGION(VarRegion, DeclRegion)
77 REGION(NonParamVarRegion, VarRegion)
78 REGION(ParamVarRegion, VarRegion)
|
| H A D | ProgramState.h | 271 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
698 inline const VarRegion* ProgramState::getRegion(const VarDecl *D, in getRegion()
|
| H A D | SymbolManager.h | 611 bool isLive(const VarRegion *VR, bool includeStoreBindings = false) const;
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/ |
| H A D | MemRegion.cpp | 159 const StackFrameContext *VarRegion::getStackFrame() const { in getStackFrame()
940 if (const auto *VR = dyn_cast<VarRegion>(OrigR)) { in getStackOrCaptureRegionForDeclContext()
942 return cast<VarRegion>(I.getCapturedRegion()); in getStackOrCaptureRegionForDeclContext()
998 if (V.is<const VarRegion*>()) in getVarRegion()
999 return V.get<const VarRegion*>(); in getVarRegion()
1609 std::pair<const VarRegion *, const VarRegion *>
1612 const VarRegion *VR = nullptr; in getCaptureRegions()
1613 const VarRegion *OriginalVR = nullptr; in getCaptureRegions()
1658 const VarRegion *VR = nullptr; in LazyInitializeReferencedVars()
1659 const VarRegion *OriginalVR = nullptr; in LazyInitializeReferencedVars()
[all …]
|
| H A D | LoopWidening.cpp | 76 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
|
| H A D | RegionStore.cpp | 567 SVal getBindingForVar(RegionBindingsConstRef B, const VarRegion *R);
1080 const VarRegion *ToInvalidate = in VisitCluster()
1094 const VarRegion *VR = BI.getCapturedRegion(); in VisitCluster()
1491 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in getBinding()
1732 const VarRegion *VR = dyn_cast<VarRegion>(Base); in getConstantValFromConstArrayInitializer()
1938 } else if (isa<ElementRegion, VarRegion>(superR)) { in getBindingForElement()
1977 if (const auto *VR = dyn_cast<VarRegion>(superR)) { in getBindingForField()
2190 const VarRegion *R) { in getBindingForVar()
2782 if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) { in VisitAddedToCluster()
|
| H A D | SymbolManager.cpp | 447 if (const auto *VR = dyn_cast<VarRegion>(MR)) in isLiveRegion()
529 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ in isLive()
|
| H A D | BugReporterVisitors.cpp | 1243 static bool isInitializationOfVar(const ExplodedNode *N, const VarRegion *VR) { in isInitializationOfVar()
1322 if (isa<VarRegion>(SI.Dest)) { in showBRDiagnostics()
1342 const auto *VR = cast<VarRegion>(SI.Dest); in showBRParamDiagnostics()
1425 if (const auto *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
1471 if (const auto *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
1596 const auto *VR = dyn_cast<VarRegion>(R); in VisitNode()
1608 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) { in VisitNode()
1616 isa<VarRegion>(SI.Dest)) { in VisitNode()
|
| /llvm-project-15.0.7/clang/unittests/StaticAnalyzer/ |
| H A D | SymbolReaperTest.cpp | 30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest()
|
| H A D | SValTest.cpp | 70 if (const auto *VR = llvm::dyn_cast_or_null<VarRegion>(Loc.getAsRegion())) { in checkBind()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/cert/ |
| H A D | InvalidPtrChecker.cpp | 175 if (const auto *VarReg = dyn_cast<VarRegion>(SRV->getRegion())) in findInvalidatedSymbolicBase()
|
| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Checkers/ |
| H A D | SValExplainer.h | 95 if (auto V = dyn_cast<VarRegion>(R)) in VisitSymbolRegionValue()
|
| /llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountDiagnostics.cpp | 436 const auto *VR = cast<VarRegion>(cast<SymbolRegionValue>(Sym)->getRegion()); in annotateStartParameter()
606 if (const auto *VR = dyn_cast_or_null<VarRegion>(MR)) in describeRegion()
|
| H A D | RetainCountChecker.cpp | 171 const VarRegion *VR = I.getCapturedRegion(); in checkPostStmt()
509 const auto *VR = dyn_cast<VarRegion>(R); in shouldEscapeRegion()
|