Searched refs:getRegionManager (Results 1 – 17 of 17) sorted by relevance
| /src/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | ProgramState.h | 572 MemRegionManager& getRegionManager() { in getRegionManager() function
573 return svalBuilder->getRegionManager(); in getRegionManager()
575 const MemRegionManager &getRegionManager() const { in getRegionManager() function
576 return svalBuilder->getRegionManager(); in getRegionManager()
705 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
761 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
769 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
|
| H A D | SValBuilder.h | 167 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function
168 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
|
| H A D | Store.h | 131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
|
| H A D | ExprEngine.h | 424 MemRegionManager &getRegionManager() { return MRMgr; } in getRegionManager() function
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | SValBuilder.cpp | 238 getRegionManager().getAllocaRegion(E, VisitCount, LCtx); in getAllocaRegionVal()
319 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis()
327 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()
345 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()
350 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()
358 return makeLoc(getRegionManager().getStringRegion(PE->getFunctionName())); in getConstantVal()
|
| H A D | LoopWidening.cpp | 60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
|
| H A D | ConstraintManager.cpp | 29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
|
| H A D | ExprEngineCXX.cpp | 127 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction()
696 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor()
1174 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()
1188 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
|
| H A D | CallEvent.cpp | 201 State->getStateManager().getRegionManager().getParamVarRegion( in getParameterLocation()
466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()
1396 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
|
| H A D | Store.cpp | 44 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
|
| H A D | ExprEngine.cpp | 229 SymMgr(StateMgr.getSymbolManager()), MRMgr(StateMgr.getRegionManager()), in ExprEngine()
349 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
|
| H A D | RegionStore.cpp | 1082 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | VforkChecker.cpp | 166 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
|
| H A D | ErrnoModeling.cpp | 116 MemRegionManager &RMgr = C.getStateManager().getRegionManager(); in checkBeginFunction()
|
| H A D | CallAndMessageChecker.cpp | 321 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
|
| H A D | MallocChecker.cpp | 3031 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|
| /src/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/ |
| H A D | RetainCountChecker.cpp | 167 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
|