Searched defs:MRMgr (Results 1 – 14 of 14) sorted by relevance
19 void checkForSameParamRegions(MemRegionManager &MRMgr, in checkForSameParamRegions()30 MemRegionManager &MRMgr = StMgr.getRegionManager(); in performTest() local
53 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
318 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local1029 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
155 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in getRegionForConstructedObject() local
893 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference() local
203 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
59 MemRegionManager &MRMgr = PrevState->getStateManager().getRegionManager(); in getWidenedLoopState() local
116 MemRegionManager &MRMgr = SVB.getRegionManager(); in computeObjectUnderConstruction() local535 MemRegionManager &MRMgr = getSValBuilder().getRegionManager(); in handleConstructor() local
474 MemRegionManager &MRMgr = SVB.getRegionManager(); in addParameterValuesToBindings() local1363 MemRegionManager &MRMgr = SVB.getRegionManager(); in getInitialStackFrameContents() local
1835 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in getLocationRegionIfReference() local
337 MemRegionManager &MRMgr = StateMgr.getRegionManager(); in createTemporaryRegionIfNeeded() local
46 MemRegionManager &MRMgr; variable
59 MemRegionManager &MRMgr; variable
159 MemRegionManager &MRMgr; variable