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