Searched refs:recVal (Results 1 – 2 of 2) sorted by relevance
172 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage() local173 if (!recVal.isUndef()) { in VisitObjCMessage()176 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()231 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage() local232 if (!recVal.isUndef()) { in VisitObjCMessage()
444 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage() local445 if (recVal.isUndef()) { in checkPreObjCMessage()