Home | History | Annotate | Download | only in Checkers

Lines Matching defs:MR

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