Home | History | Annotate | Download | only in Core

Lines Matching refs:MRMgr

178   MemRegionManager &MRMgr = StateMgr.getRegionManager();
199   SVal Reg = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(Inner, LC));