Lines Matching defs:MR
300 const MemRegion *MR = C.getSVal(NewE).getAsRegion();301 if (!MR)304 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(),