Searched refs:RetS (Results 1 – 1 of 1) sorted by relevance
116 SymbolRef RetS = Msg.getReturnValue().getAsSymbol(); in checkPostObjCMessage() local118 if (ArgS && RetS) { in checkPostObjCMessage()121 State = State->set<NonNullImplicationMap>(RetS, ArgS); in checkPostObjCMessage()125 State = State->set<NullImplicationMap>(ArgS, RetS); in checkPostObjCMessage()