Home
last modified time | relevance | path

Searched refs:getVarRegion (Results 1 – 13 of 13) sorted by relevance

/llvm-project-15.0.7/clang/unittests/StaticAnalyzer/
H A DParamRegionTest.cpp23 return MRMgr.getVarRegion(PVD, SFC) == in checkForSameParamRegions()
24 MRMgr.getVarRegion(cast<ParmVarDecl>(D2), SFC); in checkForSameParamRegions()
37 assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
39 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
45 assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
47 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
53 assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
55 assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC))); in performTest()
H A DStoreTest.cpp60 Loc LX0 = loc::MemRegionVal(MRManager.getVarRegion(VDX0, SFC)); in performTest()
61 Loc LY0 = loc::MemRegionVal(MRManager.getVarRegion(VDY0, SFC)); in performTest()
62 Loc LZ0 = loc::MemRegionVal(MRManager.getVarRegion(VDZ0, SFC)); in performTest()
63 Loc LX1 = loc::MemRegionVal(MRManager.getVarRegion(VDX1, SFC)); in performTest()
64 Loc LY1 = loc::MemRegionVal(MRManager.getVarRegion(VDY1, SFC)); in performTest()
H A DSymbolReaperTest.cpp30 const VarRegion *VR = Eng.getRegionManager().getVarRegion(VD, SFC); in performTest()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DLoopWidening.cpp76 const VarRegion *VarMem = MRMgr.getVarRegion(VD, LCtx); in getWidenedLoopState()
H A DMemRegion.cpp952 const VarRegion *MemRegionManager::getVarRegion(const VarDecl *D, in getVarRegion() function in MemRegionManager
1617 OriginalVR = MemMgr.getVarRegion(VD, LC); in getCaptureRegions()
1621 VR = MemMgr.getVarRegion(VD, LC); in getCaptureRegions()
1626 OriginalVR = MemMgr.getVarRegion(VD, LC); in getCaptureRegions()
H A DCallEvent.cpp1333 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx)); in getInitialStackFrameContents()
H A DRegionStore.cpp1081 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DVforkChecker.cpp172 ? M.getVarRegion(LhsDecl, C.getLocationContext()) in checkPostCall()
H A DMallocChecker.cpp2990 VR = MemMgr.getVarRegion(VR->getDecl(), LC); in checkPostStmt()
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DStore.h135 return svalBuilder.makeLoc(MRMgr.getVarRegion(VD, LC)); in getLValueVar()
H A DProgramState.h701 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
H A DMemRegion.h1431 const VarRegion *getVarRegion(const VarDecl *VD, const LocationContext *LC);
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp173 VR = MemMgr.getVarRegion(VR->getDecl(), LC); in checkPostStmt()