Searched refs:recVal (Results 1 – 2 of 2) sorted by relevance
161 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage() local162 if (!recVal.isUndef()) { in VisitObjCMessage()165 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()
332 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage() local333 if (recVal.isUndef()) { in checkPreObjCMessage()372 DefinedOrUnknownSVal receiverVal = recVal.castAs<DefinedOrUnknownSVal>(); in checkPreObjCMessage()