Searched refs:receiverVal (Results 1 – 2 of 2) sorted by relevance
239 DefinedOrUnknownSVal receiverVal = cast<DefinedOrUnknownSVal>(recVal); in checkPreObjCMessage() local242 llvm::tie(notNilState, nilState) = state->assume(receiverVal); in checkPreObjCMessage()
2071 DefinedOrUnknownSVal receiverVal = cast<DefinedOrUnknownSVal>(recVal); in VisitObjCMessage() local2074 llvm::tie(notNilState, nilState) = state->assume(receiverVal); in VisitObjCMessage()