Lines Matching refs:MRMgr
289 MemRegionManager &MRMgr = SVB.getRegionManager();298 Loc ParamLoc = SVB.makeLoc(MRMgr.getVarRegion(ParamDecl, CalleeCtx));897 MemRegionManager &MRMgr = SVB.getRegionManager();898 Loc SelfLoc = SVB.makeLoc(MRMgr.getVarRegion(SelfD, CalleeCtx));