Searched refs:recVal (Results 1 – 2 of 2) sorted by relevance
184 SVal recVal = Msg->getReceiverSVal(); in VisitObjCMessage() local185 if (!recVal.isUndef()) { in VisitObjCMessage()188 recVal.castAs<DefinedOrUnknownSVal>(); in VisitObjCMessage()248 SVal recVal = UpdatedMsg->getReceiverSVal(); in VisitObjCMessage() local249 if (!recVal.isUndef()) { in VisitObjCMessage()
577 SVal recVal = msg.getReceiverSVal(); in checkPreObjCMessage() local578 if (recVal.isUndef()) { in checkPreObjCMessage()