Searched defs:MRMgr (Results 1 – 6 of 6) sorted by relevance
60 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
127 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() local 696 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor() local [all...]
466 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local 1396 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
349 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
59 MemRegionManager &MRMgr; variable
157 MemRegionManager &MRMgr; variable