Home | History | Annotate | Download | only in Checkers

Lines Matching refs:Summ

550     const RetainSummary *Summ = I->second;
551 M[K] = Summ;
552 return Summ;
661 RetainSummary Summ(getArgEffects(), RetEff, DefaultEff, ReceiverEff);
662 return getPersistentSummary(Summ);
682 void addNSObjectClsMethSummary(Selector S, const RetainSummary *Summ) {
683 ObjCClassMethodSummaries[S] = Summ;
686 void addNSObjectMethSummary(Selector S, const RetainSummary *Summ) {
687 ObjCMethodSummaries[S] = Summ;
691 const RetainSummary *Summ, bool isNullary = true) {
695 ObjCClassMethodSummaries[ObjCSummaryKey(ClsII, S)] = Summ;
699 const RetainSummary *Summ) {
702 ObjCMethodSummaries[ObjCSummaryKey(ClsII, S)] = Summ;
706 const RetainSummary *Summ, va_list argp) {
708 Summaries[ObjCSummaryKey(ClsII, S)] = Summ;
711 void addInstMethSummary(const char* Cls, const RetainSummary * Summ, ...) {
713 va_start(argp, Summ);
714 addMethodSummary(&Ctx.Idents.get(Cls), ObjCMethodSummaries, Summ, argp);
718 void addClsMethSummary(const char* Cls, const RetainSummary * Summ, ...) {
720 va_start(argp, Summ);
721 addMethodSummary(&Ctx.Idents.get(Cls),ObjCClassMethodSummaries, Summ, argp);
725 void addClsMethSummary(IdentifierInfo *II, const RetainSummary * Summ, ...) {
727 va_start(argp, Summ);
728 addMethodSummary(II, ObjCClassMethodSummaries, Summ, argp);
795 void updateSummaryFromAnnotations(const RetainSummary *&Summ,
798 void updateSummaryFromAnnotations(const RetainSummary *&Summ,
801 void updateSummaryForCall(const RetainSummary *&Summ,
875 RetainSummary *Summ = (RetainSummary *) BPAlloc.Allocate<RetainSummary>();
876 new (Summ) RetainSummary(OldSumm);
877 return Summ;
995 const RetainSummary *Summ;
998 Summ = getFunctionSummary(cast<SimpleFunctionCall>(Call).getDecl());
1011 Summ = getInstanceMethodSummary(Msg, State);
1013 Summ = getClassMethodSummary(Msg);
1018 updateSummaryForCall(Summ, Call);
1020 assert(Summ && "Unknown call type?");
1021 return Summ;
1324 RetainSummaryManager::updateSummaryFromAnnotations(const RetainSummary *&Summ,
1329 assert(Summ && "Must have a summary to add annotations to.");
1330 RetainSummaryTemplate Template(Summ, *this);
1360 RetainSummaryManager::updateSummaryFromAnnotations(const RetainSummary *&Summ,
1365 assert(Summ && "Must have a valid summary to add annotations to");
1366 RetainSummaryTemplate Template(Summ, *this);
1536 const RetainSummary *Summ = CachedSummaries.find(ID, S);
1538 if (!Summ) {
1539 Summ = getStandardMethodSummary(MD, S, RetTy);
1542 updateSummaryFromAnnotations(Summ, MD);
1545 CachedSummaries[ObjCSummaryKey(ID, S)] = Summ;
1548 return Summ;
1585 const RetainSummary *Summ = getPersistentSummary(NoRet, IncRefMsg);
1586 addNSObjectMethSummary(GetNullarySelector("retain", Ctx), Summ);
1589 Summ = getPersistentSummary(NoRet, DecRefMsg);
1590 addNSObjectMethSummary(GetNullarySelector("release", Ctx), Summ);
1593 Summ = getPersistentSummary(NoRet, Dealloc);
1594 addNSObjectMethSummary(GetNullarySelector("dealloc", Ctx), Summ);
1597 Summ = getPersistentSummary(NoRet, Autorelease);
1598 addNSObjectMethSummary(GetNullarySelector("autorelease", Ctx), Summ);
2012 if (const RetainSummary *Summ = SummaryLog.lookup(OrigNode)) {
2031 AEffects.push_back(Summ->getArg(i));
2039 AEffects.push_back(Summ->getReceiverEffect());
2623 void checkSummary(const RetainSummary &Summ, const CallEvent &Call,
2626 void processSummaryOfInlined(const RetainSummary &Summ,
2899 const RetainSummary *Summ = Summaries.getSummary(Call, C.getState());
2902 processSummaryOfInlined(*Summ, Call, C);
2905 checkSummary(*Summ, Call, C);
2939 void RetainCountChecker::processSummaryOfInlined(const RetainSummary &Summ,
2946 if (Summ.getArg(idx) == StopTrackingHard) {
2958 if (Summ.getReceiverEffect() == StopTrackingHard) {
2965 RetEffect RE = Summ.getRetEffect();
3009 void RetainCountChecker::checkSummary(const RetainSummary &Summ,
3022 ArgEffect Effect = Summ.getArg(idx);
3045 state = updateSymbol(state, Sym, *T, Summ.getReceiverEffect(),
3063 RetEffect RE = Summ.getRetEffect();
3130 SummaryLog[NewNode] = &Summ;
3518 const RetainSummary *Summ = Summaries.getMethodSummary(MD);
3519 RE = Summ->getRetEffect();
3522 const RetainSummary *Summ = Summaries.getFunctionSummary(FD);
3523 RE = Summ->getRetEffect();