Home | History | Annotate | Download | only in Checkers

Lines Matching defs:Receiver

369   /// Receiver - If this summary applies to an Objective-C message expression,
370 /// this is the effect applied to the state of the receiver.
371 ArgEffect Receiver;
380 : Args(A), DefaultArgEffect(defaultEff), Receiver(ReceiverEff), Ret(R) {}
407 /// Sets the effect on the receiver of the message.
408 void setReceiverEffect(ArgEffect e) { Receiver = e; }
410 /// getReceiverEffect - Returns the effect on the receiver of the call.
412 ArgEffect getReceiverEffect() const { return Receiver; }
419 Receiver == Other.Receiver && Ret == Other.Ret;
426 ID.Add(Receiver);
1206 // Effects on the receiver.
1331 // -self is handled specially by the ExprEngine to propagate the receiver.
1340 // should stop tracking the reference count for the receiver. This is
1362 // We need the type-information of the tracked receiver object
1364 const Expr *Receiver = msg.getInstanceReceiver();
1371 if (Receiver) {
1372 receiverV = state->getSValAsScalarOrLoc(Receiver, LC);
1387 Receiver->getType()->getAs<ObjCObjectPointerType>())
1395 // FIXME: The receiver could be a reference to a class, meaning that
1463 // receiver.
1468 // claims the receiver and returns a retained object.
1978 if (const Expr *receiver = ME->getInstanceReceiver())
1979 if (CurrSt->getSValAsScalarOrLoc(receiver, LCtx)
1981 // The symbol we are tracking is the receiver.
2781 // Evaluate the effect on the message receiver.
2785 SVal Receiver = CallOrMsg.getInstanceMessageReceiver(LC);
2786 if (SymbolRef Sym = Receiver.getAsLocSymbol()) {
3117 // If the receiver is unknown, conjure a return value.