Searched refs:getRegionManager (Results 1 – 16 of 16) sorted by relevance
23 const MemRegion *R = State->getStateManager().getRegionManager() in getLocFromSymbol()
234 return loc::MemRegionVal(getRegionManager(). in getCXXThis()243 return loc::MemRegionVal(getRegionManager().getCXXThisRegion(PT, SFC)); in getCXXThis()261 return makeLoc(getRegionManager().getObjCStringRegion(SL)); in getConstantVal()266 return makeLoc(getRegionManager().getStringRegion(SL)); in getConstantVal()
53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState()
155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in getRegionForConstructedObject()564 svalBuilder.getRegionManager().getCXXThisRegion( in VisitCXXThisExpr()578 const MemRegion *R = svalBuilder.getRegionManager().getCXXTempObjectRegion( in VisitLambdaExpr()
318 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings()1029 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents()
26 MRMgr(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {} in StoreManager()
893 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference()1178 StateMgr.getRegionManager().getVarRegion(VD, N->getLocationContext()); in registerStatementVarDecls()
203 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded()
508 MemRegionManager& getRegionManager() { in getRegionManager() function509 return svalBuilder->getRegionManager(); in getRegionManager()511 const MemRegionManager& getRegionManager() const { in getRegionManager() function512 return svalBuilder->getRegionManager(); in getRegionManager()640 return getStateManager().getRegionManager().getVarRegion(D, LC); in getRegion()
145 MemRegionManager &getRegionManager() { return MemMgr; } in getRegionManager() function146 const MemRegionManager &getRegionManager() const { return MemMgr; } in getRegionManager() function
85 MemRegionManager& getRegionManager() { return MRMgr; } in getRegionManager() function
60 MemRegionManager& RM = C.getStoreManager().getRegionManager(); in evalCall()
168 MemRegionManager &M = C.getStoreManager().getRegionManager(); in checkPostCall()
264 C.getSValBuilder().getRegionManager(), in PreVisitProcessArg()
2276 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()
2725 MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager(); in checkPostStmt()