Searched refs:ArgS (Results 1 – 1 of 1) sorted by relevance
115 SymbolRef ArgS = Msg.getArgSVal(0).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()