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