Lines Matching defs:MRMgr

119   MemRegionManager &MRMgr = SVB.getRegionManager();
146           MRMgr.getCXXBaseObjectRegion(BaseClass, ThisReg,
181             auto R = MRMgr.getElementRegion(Ty, svalBuilder.makeArrayIndex(Idx),
293                 MRMgr.getCXXStaticLifetimeExtendedObjectRegion(E, VD));
296               MRMgr.getCXXLifetimeExtendedObjectRegion(E, VD, LCtx));
301       return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
309           MRMgr.getCXXTempObjectRegion(LCC->getInitializer(), LCtx));
388   return loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
510   MemRegionManager &MRMgr = SVB.getRegionManager();
523       MRMgr.getElementRegion(Ctor->getType(), Idx, SourceArrayRegion, Ctx);
643       MemRegionManager &MRMgr = getSValBuilder().getRegionManager();
644       Target = loc::MemRegionVal(MRMgr.getCXXTempObjectRegion(E, LCtx));
839       Dest = MRMgr.getCXXTempObjectRegion(E, Pred->getLocationContext());
1018           MRMgr.getElementRegion(ObjTy, svalBuilder.makeArrayIndex(0), NewReg,