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