Searched refs:ArgS (Results 1 – 1 of 1) sorted by relevance
117 SymbolRef ArgS = Msg.getArgSVal(0).getAsSymbol(); in checkPostObjCMessage() local120 if (ArgS && RetS) { in checkPostObjCMessage()123 State = State->set<NonNullImplicationMap>(RetS, ArgS); in checkPostObjCMessage()127 State = State->set<NullImplicationMap>(ArgS, RetS); in checkPostObjCMessage()