Searched refs:UpdatedMsg (Results 1 – 1 of 1) sorted by relevance
249 CallEventRef<ObjCMethodCall> UpdatedMsg = Msg.cloneWithState(State); in VisitObjCMessage() local251 if (UpdatedMsg->isInstanceMessage()) { in VisitObjCMessage()252 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage()272 defaultEvalCall(Bldr, Pred, *UpdatedMsg); in VisitObjCMessage()