Searched refs:recVal (Results 1 – 2 of 2) sorted by relevance
188 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage() local189 if (!recVal.isUndef()) { in VisitObjCMessage()192 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()252 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage() local253 if (!recVal.isUndef()) { in VisitObjCMessage()
466 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage() local467 if (recVal.isUndef()) { in checkPreObjCMessage()