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