Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Receiver

376   /// Receiver - If this summary applies to an Objective-C message expression,
377 /// this is the effect applied to the state of the receiver.
378 ArgEffect Receiver;
387 : Args(A), DefaultArgEffect(defaultEff), Receiver(ReceiverEff), Ret(R) {}
414 /// Sets the effect on the receiver of the message.
415 void setReceiverEffect(ArgEffect e) { Receiver = e; }
417 /// getReceiverEffect - Returns the effect on the receiver of the call.
419 ArgEffect getReceiverEffect() const { return Receiver; }
426 Receiver == Other.Receiver && Ret == Other.Ret;
433 ID.Add(Receiver);
1334 // Effects on the receiver.
1444 // -self is handled specially by the ExprEngine to propagate the receiver.
1453 // should stop tracking the reference count for the receiver. This is
1496 // FIXME: The receiver could be a reference to a class, meaning that
1548 // receiver.
1553 // claims the receiver and returns a retained object.
2001 if (const Expr *receiver = ME->getInstanceReceiver())
2002 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx)
2004 // The symbol we are tracking is the receiver.
2767 // Evaluate the effect on the message receiver.
2813 // Evaluate the effect on the message receiver.
3149 // If the receiver is unknown, conjure a return value.