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