Searched refs:getRegionManager (Results 1 – 17 of 17) sorted by relevance
555 MemRegionManager& getRegionManager() { in getRegionManager() function556 return svalBuilder->getRegionManager(); in getRegionManager()558 const MemRegionManager &getRegionManager() const { in getRegionManager() function559 return svalBuilder->getRegionManager(); in getRegionManager()687 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()743 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()751 getStateManager().getRegionManager().getCXXBaseObjectRegion( in getLValue()
175 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function176 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
131 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
29 State->getStateManager().getRegionManager().getSymbolicRegion(Sym); in getLocFromSymbol()
275 getRegionManager().getCXXThisRegion(D->getThisType(), SFC)); in getCXXThis()283 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()301 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()306 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()
60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
117 MemRegionManager &MRMgr = SVB.getRegionManager(); in prepareForObjectConstruction()458 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in VisitCXXConstructExpr()849 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()863 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
249 State->getStateManager().getRegionManager().getVarRegion(PVD, SFC); in getParameterLocation()495 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1335 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
45 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
1055 RM.getRegionManager().getVarRegion(VD, LCtx); in VisitCluster()2537 const SymbolicRegion *SR = RM.getRegionManager().getSymbolicRegion(SD); in populateWorklistFromSymbol()2543 RM.getRegionManager().getSymbolicHeapRegion(SD); in populateWorklistFromSymbol()
1506 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()1785 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
324 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
79 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
279 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
2513 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
231 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()