reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
298 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); 302 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(), 302 C.addTransition(setDynamicTypeInfo(C.getState(), MR, NewE->getType(),