Searched defs:MRMgr (Results 1 – 6 of 6) sorted by relevance
53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
308 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local952 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in getRegionForConstructedObject() local
844 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference() local
202 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
46 MemRegionManager &MRMgr; variable