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