Home
last modified time | relevance | path

Searched refs:getRegionManager (Results 1 – 18 of 18) sorted by relevance

/openbsd-src/gnu/llvm/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DProgramState.h570 MemRegionManager& getRegionManager() { in getRegionManager() function
571 return svalBuilder->getRegionManager(); in getRegionManager()
573 const MemRegionManager &getRegionManager() const { in getRegionManager() function
574 return svalBuilder->getRegionManager(); in getRegionManager()
703 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
759 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
767 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
H A DSValBuilder.h155 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function
156 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
H A DStore.h131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
H A DExprEngine.h432 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager() function
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Core/
H A DLoopWidening.cpp58 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
H A DSValBuilder.cpp311 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis()
319 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()
337 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()
342 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()
350 return makeLoc(getRegionManager().getStringRegion(PE->getFunctionName())); in getConstantVal()
H A DConstraintManager.cpp29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
H A DExprEngineCXX.cpp126 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
688 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
1169 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()
1183 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
H A DCallEvent.cpp201 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
463 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1368 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
H A DStore.cpp44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
H A DExprEngine.cpp228 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
348 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
H A DRegionStore.cpp1086 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp85 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
H A DVforkChecker.cpp170 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
H A DErrnoModeling.cpp158 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
H A DCallAndMessageChecker.cpp322 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
H A DMallocChecker.cpp2976 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
/openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/
H A DRetainCountChecker.cpp169 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()