Searched refs:recVal (Results 1 – 2 of 2) sorted by relevance
197 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage() local198 if (!recVal.isUndef()) { in VisitObjCMessage()201 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()261 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage() local262 if (!recVal.isUndef()) { in VisitObjCMessage()
576 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage() local577 if (recVal.isUndef()) { in checkPreObjCMessage()