Home
last modified time | relevance | path

Searched refs:VarRegion (Results 1 – 23 of 23) sorted by relevance

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DCheckPlacementNew.cpp53 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 DUnixAPIChecker.cpp424 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) in CheckPthreadOnce()
430 if (isa<VarRegion>(R) && isa<StackLocalsSpaceRegion>(R->getMemorySpace())) in CheckPthreadOnce()
H A DNonnullGlobalConstantsChecker.cpp99 auto *Region = dyn_cast<VarRegion>(RegionVal->getAsRegion()); in isGlobalConstString()
H A DMIGChecker.cpp136 const auto *VR = dyn_cast<VarRegion>(MR); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DMallocChecker.cpp2202 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2217 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2232 const VarRegion *VR = dyn_cast<VarRegion>(MR); in SummarizeRegion()
2759 const VarRegion *VR = MR->getBaseRegion()->getAs<VarRegion>(); in getAllocationSite()
3034 const VarRegion *VR = Var.getCapturedRegion(); in checkPostStmt()
H A DMoveChecker.cpp558 isa_and_nonnull<VarRegion, CXXLifetimeExtendedObjectRegion>(MR) && in classifyObject()
H A DNullabilityChecker.cpp585 const VarRegion *ParamRegion = State->getRegion(Param, LCtx); in checkBeginFunction()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DMemRegion.h61 class VarRegion; variable
722 const VarRegion *getCapturedRegion() const { in getCapturedRegion()
723 return cast<VarRegion>(*R); in getCapturedRegion()
727 const VarRegion *getOriginalRegion() const { in getOriginalRegion()
728 return cast<VarRegion>(*OriginalR); in getOriginalRegion()
755 const VarRegion *getOriginalRegion(const VarRegion *VR) const;
771 std::pair<const VarRegion *, const VarRegion *>
950 class VarRegion : public DeclRegion {
955 VarRegion(const MemRegion *sReg, Kind k) : DeclRegion(sReg, k) { in VarRegion() function
982 class NonParamVarRegion : public VarRegion {
[all …]
H A DRegions.def77 ABSTRACT_REGION(VarRegion, DeclRegion)
78 REGION(NonParamVarRegion, VarRegion)
79 REGION(ParamVarRegion, VarRegion)
H A DProgramState.h272 const VarRegion* getRegion(const VarDecl *D, const LocationContext *LC) const;
702 inline const VarRegion* ProgramState::getRegion(const VarDecl *D, in getRegion()
H A DSymbolManager.h617 bool isLive(const VarRegion *VR, bool includeStoreBindings = false) const;
H A DCallEvent.h622 const VarRegion *getRegionStoringCapturedLambda() const { in getRegionStoringCapturedLambda()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DMemRegion.cpp157 const StackFrameContext *VarRegion::getStackFrame() const { in getStackFrame()
771 if (auto *VR = dyn_cast<VarRegion>(this->getBaseRegion())) { in sourceRange()
976 static llvm::PointerUnion<const StackFrameContext *, const VarRegion *>
990 if (const auto *VR = dyn_cast<VarRegion>(OrigR)) { in getStackOrCaptureRegionForDeclContext()
992 return cast<VarRegion>(Var.getCapturedRegion()); in getStackOrCaptureRegionForDeclContext()
1002 const VarRegion *MemRegionManager::getVarRegion(const VarDecl *D, in getVarRegion()
1045 llvm::PointerUnion<const StackFrameContext *, const VarRegion *> V = in getVarRegion()
1048 if (V.is<const VarRegion*>()) in getVarRegion()
1049 return V.get<const VarRegion*>(); in getVarRegion()
1672 std::pair<const VarRegion *, const VarRegion *>
[all …]
H A DRegionStore.cpp571 SVal getBindingForVar(RegionBindingsConstRef B, const VarRegion *R);
1081 const VarRegion *ToInvalidate = in VisitCluster()
1093 const VarRegion *VR = Var.getCapturedRegion(); in VisitCluster()
1479 if (const VarRegion *VR = dyn_cast<VarRegion>(R)) { in getBinding()
1720 const VarRegion *VR = dyn_cast<VarRegion>(Base); in getConstantValFromConstArrayInitializer()
1931 } else if (isa<ElementRegion, VarRegion>(superR)) { in getBindingForElement()
1970 if (const auto *VR = dyn_cast<VarRegion>(superR)) { in getBindingForField()
2182 const VarRegion *R) { in getBindingForVar()
2775 if (const VarRegion *VR = dyn_cast<VarRegion>(baseR)) { in VisitAddedToCluster()
H A DSymbolManager.cpp440 if (const auto *VR = dyn_cast<VarRegion>(MR)) in isLiveRegion()
531 bool SymbolReaper::isLive(const VarRegion *VR, bool includeStoreBindings) const{ in isLive()
H A DBugReporterVisitors.cpp1272 static bool isInitializationOfVar(const ExplodedNode *N, const VarRegion *VR) { in isInitializationOfVar()
1351 if (isa<VarRegion>(SI.Dest)) { in showBRDiagnostics()
1371 const auto *VR = cast<VarRegion>(SI.Dest); in showBRParamDiagnostics()
1536 if (const auto *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
1659 if (const auto *VR = dyn_cast<VarRegion>(R)) { in VisitNode()
1784 const auto *VR = dyn_cast<VarRegion>(R); in VisitNode()
1796 if (const VarRegion *OriginalR = BDR->getOriginalRegion(VR)) { in VisitNode()
1804 isa<VarRegion>(SI.Dest)) { in VisitNode()
H A DExprEngineCallAndReturn.cpp643 assert(cast<VarRegion>(VV.castAs<loc::MemRegionVal>().getRegion()) in finishArgumentConstruction()
H A DExprEngineC.cpp215 const VarRegion *capturedR = Var.getCapturedRegion(); in VisitBlockExpr()
H A DCallEvent.cpp908 const VarRegion *CapturedLambdaRegion = getRegionStoringCapturedLambda(); in getInitialStackFrameContents()
H A DExprEngine.cpp3502 if (const auto *VR = dyn_cast<VarRegion>(MR->getBaseRegion())) in processPointerEscapedOnBind()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/
H A DInvalidPtrChecker.cpp246 if (const auto *VarReg = dyn_cast<VarRegion>(SRV->getRegion())) in findInvalidatedSymbolicBase()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountDiagnostics.cpp436 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 DRetainCountChecker.cpp170 const VarRegion *VR = Var.getCapturedRegion(); in checkPostStmt()
508 const auto *VR = dyn_cast<VarRegion>(R); in shouldEscapeRegion()