Home | History | Annotate | Download | only in Core

Lines Matching defs:Receiver

795     // Find the the receiver type.
799 const MemRegion *Receiver = 0;
806 Receiver = getReceiverSVal().getAsRegion();
807 if (!Receiver)
810 DynamicTypeInfo DTI = getState()->getDynamicTypeInfo(Receiver);
853 return RuntimeDefinition(MD, Receiver);
860 // If we have type info for the receiver class, we are calling via