Searched refs:recVal (Results 1 – 2 of 2) sorted by relevance
223 SVal recVal = state->getSVal(receiver); in checkPreObjCMessage() local224 if (recVal.isUndef()) { in checkPreObjCMessage()239 DefinedOrUnknownSVal receiverVal = cast<DefinedOrUnknownSVal>(recVal); in checkPreObjCMessage()
2068 SVal recVal = state->getSVal(Receiver); in VisitObjCMessage() local2069 if (!recVal.isUndef()) { in VisitObjCMessage()2071 DefinedOrUnknownSVal receiverVal = cast<DefinedOrUnknownSVal>(recVal); in VisitObjCMessage()