378   const RetainSummary *Summ = getSummary(Summaries, Call, ReceiverType);  in checkPostCall()  local
381     processSummaryOfInlined(*Summ, Call, C);  in checkPostCall()
384   checkSummary(*Summ, Call, C);  in checkPostCall()
448 void RetainCountChecker::processSummaryOfInlined(const RetainSummary &Summ,  in processSummaryOfInlined()  argument
458       bool ShouldRemoveBinding = Summ.getArg(idx).getKind() == StopTrackingHard;  in processSummaryOfInlined()
471       if (Summ.getReceiverEffect().getKind() == StopTrackingHard) {  in processSummaryOfInlined()
478   RetEffect RE = Summ.getRetEffect();  in processSummaryOfInlined()
521 updateOutParameters(ProgramStateRef State, const RetainSummary &Summ,  in updateOutParameters()  argument
531   for (auto &P : Summ.getArgEffects())  in updateOutParameters()
553     ArgEffect AE = Summ.getArg(idx);  in updateOutParameters()
605 void RetainCountChecker::checkSummary(const RetainSummary &Summ,  in checkSummary()  argument
622     ArgEffect Effect = Summ.getArg(idx);  in checkSummary()
649                                Summ.getReceiverEffect(), hasErr, C);  in checkSummary()
653           } else if (Summ.getReceiverEffect().getKind() == Dealloc) {  in checkSummary()
661           state = updateSymbol(state, Sym, *T, Summ.getThisEffect(),  in checkSummary()
679   RetEffect RE = Summ.getRetEffect();  in checkSummary()
700       updateOutParameters(state, Summ, CallOrMsg);  in checkSummary()
1055     const RetainSummary *Summ = Summaries.getSummary(AnyCall(MD));  in processReturn()  local
1056     RE = Summ->getRetEffect();  in processReturn()
1059       const RetainSummary *Summ = Summaries.getSummary(AnyCall(FD));  in processReturn()  local
1060       RE = Summ->getRetEffect();  in processReturn()