Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Msg

46   void checkPreObjCMessage(const ObjCMethodCall &msg, CheckerContext &C) const;
56 void emitNilReceiverBug(CheckerContext &C, const ObjCMethodCall &msg,
61 const ObjCMethodCall &msg) const;
90 const ObjCMethodCall &Msg = cast<ObjCMethodCall>(Call);
91 switch (Msg.getMessageKind()) {
95 assert(Msg.isSetter() && "Getters have no args");
98 if (Msg.isSetter() && IsFirstArgument)
307 void CallAndMessageChecker::checkPreObjCMessage(const ObjCMethodCall &msg,
309 SVal recVal = msg.getReceiverSVal();
313 switch (msg.getMessageKind()) {
338 const ObjCMessageExpr *ME = msg.getOriginExpr();
357 HandleNilReceiver(C, state, msg);
364 const ObjCMethodCall &msg,
372 const ObjCMessageExpr *ME = msg.getOriginExpr();
378 msg.getResultType().print(os, C.getLangOpts());
398 const ObjCMethodCall &Msg) const {
403 QualType RetTy = Msg.getResultType();
410 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));
416 .isConsumedExpr(Msg.getOriginExpr())) {
429 emitNilReceiverBug(C, Msg, N);
447 C.addTransition(state->BindExpr(Msg.getOriginExpr(), LCtx, V));