Home | History | Annotate | Download | only in Checkers

Lines Matching full:summ

535     const RetainSummary *Summ = I->second;
536 M[K] = Summ;
537 return Summ;
646 RetainSummary Summ(getArgEffects(), RetEff, DefaultEff, ReceiverEff);
647 return getPersistentSummary(Summ);
667 void addNSObjectClsMethSummary(Selector S, const RetainSummary *Summ) {
668 ObjCClassMethodSummaries[S] = Summ;
671 void addNSObjectMethSummary(Selector S, const RetainSummary *Summ) {
672 ObjCMethodSummaries[S] = Summ;
676 const RetainSummary *Summ, bool isNullary = true) {
680 ObjCClassMethodSummaries[ObjCSummaryKey(ClsII, S)] = Summ;
684 const RetainSummary *Summ) {
687 ObjCMethodSummaries[ObjCSummaryKey(ClsII, S)] = Summ;
700 const RetainSummary * Summ, va_list argp) {
702 Summaries[ObjCSummaryKey(ClsII, S)] = Summ;
705 void addInstMethSummary(const char* Cls, const RetainSummary * Summ, ...) {
707 va_start(argp, Summ);
708 addMethodSummary(&Ctx.Idents.get(Cls), ObjCMethodSummaries, Summ, argp);
712 void addClsMethSummary(const char* Cls, const RetainSummary * Summ, ...) {
714 va_start(argp, Summ);
715 addMethodSummary(&Ctx.Idents.get(Cls),ObjCClassMethodSummaries, Summ, argp);
719 void addClsMethSummary(IdentifierInfo *II, const RetainSummary * Summ, ...) {
721 va_start(argp, Summ);
722 addMethodSummary(II, ObjCClassMethodSummaries, Summ, argp);
785 void updateSummaryFromAnnotations(const RetainSummary *&Summ,
788 void updateSummaryFromAnnotations(const RetainSummary *&Summ,
791 void updateSummaryForCall(const RetainSummary *&Summ,
865 RetainSummary *Summ = (RetainSummary *) BPAlloc.Allocate<RetainSummary>();
866 new (Summ) RetainSummary(OldSumm);
867 return Summ;
980 const RetainSummary *Summ;
983 Summ = getFunctionSummary(cast<FunctionCall>(Call).getDecl());
996 Summ = getInstanceMethodSummary(Msg, State);
998 Summ = getClassMethodSummary(Msg);
1003 updateSummaryForCall(Summ, Call);
1005 assert(Summ && "Unknown call type?");
1006 return Summ;
1275 RetainSummaryManager::updateSummaryFromAnnotations(const RetainSummary *&Summ,
1280 assert(Summ && "Must have a summary to add annotations to.");
1281 RetainSummaryTemplate Template(Summ, *this);
1325 RetainSummaryManager::updateSummaryFromAnnotations(const RetainSummary *&Summ,
1330 assert(Summ && "Must have a valid summary to add annotations to");
1331 RetainSummaryTemplate Template(Summ, *this);
1515 const RetainSummary *Summ = CachedSummaries.find(ID, S);
1517 if (!Summ) {
1518 Summ = getStandardMethodSummary(MD, S, RetTy);
1521 updateSummaryFromAnnotations(Summ, MD);
1524 CachedSummaries[ObjCSummaryKey(ID, S)] = Summ;
1527 return Summ;
1564 const RetainSummary *Summ = getPersistentSummary(NoRet, IncRefMsg);
1565 addNSObjectMethSummary(GetNullarySelector("retain", Ctx), Summ);
1568 Summ = getPersistentSummary(NoRet, DecRefMsg);
1569 addNSObjectMethSummary(GetNullarySelector("release", Ctx), Summ);
1572 Summ = getPersistentSummary(NoRet, Dealloc);
1573 addNSObjectMethSummary(GetNullarySelector("dealloc", Ctx), Summ);
1576 Summ = getPersistentSummary(NoRet, Autorelease);
1577 addNSObjectMethSummary(GetNullarySelector("autorelease", Ctx), Summ);
1978 if (const RetainSummary *Summ = SummaryLog.lookup(OrigNode)) {
1997 AEffects.push_back(Summ->getArg(i));
2005 AEffects.push_back(Summ->getReceiverEffect());
2494 void checkSummary(const RetainSummary &Summ, const CallEvent &Call,
2497 void processSummaryOfInlined(const RetainSummary &Summ,
2712 const RetainSummary *Summ = Summaries.getSummary(Call, C.getState());
2715 processSummaryOfInlined(*Summ, Call, C);
2718 checkSummary(*Summ, Call, C);
2752 void RetainCountChecker::processSummaryOfInlined(const RetainSummary &Summ,
2759 if (Summ.getArg(idx) == StopTrackingHard) {
2771 if (Summ.getReceiverEffect() == StopTrackingHard) {
2778 RetEffect RE = Summ.getRetEffect();
2788 void RetainCountChecker::checkSummary(const RetainSummary &Summ,
2803 state = updateSymbol(state, Sym, *T, Summ.getArg(idx), hasErr, C);
2821 state = updateSymbol(state, Sym, *T, Summ.getReceiverEffect(),
2839 RetEffect RE = Summ.getRetEffect();
2907 SummaryLog[NewNode] = &Summ;
3268 const RetainSummary *Summ = Summaries.getMethodSummary(MD);
3269 RE = Summ->getRetEffect();
3272 const RetainSummary *Summ = Summaries.getFunctionSummary(FD);
3273 RE = Summ->getRetEffect();