Lines Matching refs:Sym
1332 if (SymbolRef Sym = receiverV.getAsLocSymbol())
1333 if (const RefVal *T = state->get<RefBindings>(Sym))
1577 SymbolRef sym) {
1583 const unsigned *cnt = (*cnts).lookup(sym);
1584 newCnts = F.add(*cnts, sym, cnt ? *cnt + 1 : 1);
1587 newCnts = F.add(F.getEmptyMap(), sym, 1);
1708 SymbolRef Sym;
1713 CFRefReportVisitor(SymbolRef sym, bool gcEnabled, const SummaryLogTy &log)
1714 : Sym(sym), SummaryLog(log), GCEnabled(gcEnabled) {}
1719 ID.AddPointer(Sym);
1734 CFRefLeakReportVisitor(SymbolRef sym, bool GCEnabled,
1736 : CFRefReportVisitor(sym, GCEnabled, log) {}
1748 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1752 addVisitor(new CFRefReportVisitor(sym, GCEnabled, Log));
1757 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1760 addVisitor(new CFRefReportVisitor(sym, GCEnabled, Log));
1778 const SummaryLogTy &Log, ExplodedNode *n, SymbolRef sym,
1843 const RefVal* CurrT = CurrSt->get<RefBindings>(Sym);
1847 const RefVal *PrevT = PrevSt->get<RefBindings>(Sym);
1920 if (CurrSt->getSValAsScalarOrLoc(*AI).getAsLocSymbol() != Sym)
1929 if (CurrSt->getSValAsScalarOrLoc(receiver).getAsLocSymbol() == Sym) {
2065 // to Sym.
2069 if (CurrSt->getSValAsScalarOrLoc(Exp).getAsLocSymbol() == Sym) {
2080 SymbolRef Sym;
2085 FindUniqueBinding(SymbolRef sym) : Sym(sym), Binding(0), First(true) {}
2091 if (!SymV || SymV != Sym)
2111 SymbolRef Sym) {
2122 if (!B.lookup(Sym))
2125 FindUniqueBinding FB(Sym);
2142 BRC.addNotableSymbol(Sym);
2153 BRC.addNotableSymbol(Sym);
2162 GetAllocationSite(BRC.getStateManager(), EndN, Sym);
2185 const RefVal* RV = EndN->getState()->get<RefBindings>(Sym);
2225 ExplodedNode *n, SymbolRef sym,
2227 : CFRefReport(D, LOpts, GCEnabled, Log, n, sym, false) {
2242 GetAllocationSite(Eng.getStateManager(), getErrorNode(), sym);
2262 addVisitor(new CFRefLeakReportVisitor(sym, GCEnabled, Log));
2445 SymbolRef Sym, const ProgramState *state) const;
2450 const ProgramState *updateSymbol(const ProgramState *state, SymbolRef sym,
2455 RefVal::Kind ErrorKind, SymbolRef Sym,
2458 const ProgramPointTag *getDeadSymbolTag(SymbolRef sym) const;
2467 ExprEngine &Eng, SymbolRef Sym, RefVal V) const;
2484 bool VisitSymbol(SymbolRef sym) {
2485 state = state->remove<RefBindings>(sym);
2555 SymbolRef Sym = state->getSVal(CE).getAsLocSymbol();
2556 if (!Sym)
2558 const RefVal* T = state->get<RefBindings>(Sym);
2563 state = updateSymbol(state, Sym, *T, AE, hasErr, C);
2682 if (SymbolRef Sym = V.getAsLocSymbol()) {
2683 if (RefBindings::data_type *T = state->get<RefBindings>(Sym)) {
2684 state = updateSymbol(state, Sym, *T, Summ.getArg(idx), hasErr, C);
2687 ErrorSym = Sym;
2699 if (SymbolRef Sym = Receiver.getAsLocSymbol()) {
2700 if (const RefVal *T = state->get<RefBindings>(Sym)) {
2702 state = updateSymbol(state, Sym, *T, Summ.getReceiverEffect(),
2706 ErrorSym = Sym;
2738 SymbolRef Sym = state->getSVal(CallOrMsg.getOriginExpr()).getAsSymbol();
2739 if (!Sym)
2745 state = state->set<RefBindings>(Sym, RefVal::makeOwned(RE.getObjKind(),
2753 state = state.assume(loc::SymbolVal(Sym), true, isFeasible);
2765 SymbolRef Sym = state->getSVal(Ex).getAsSymbol();
2766 if (!Sym)
2771 state = state->set<RefBindings>(Sym, RefVal::makeNotOwned(RE.getObjKind(),
2800 RetainCountChecker::updateSymbol(const ProgramState *state, SymbolRef sym,
2822 return state->set<RefBindings>(sym, V);
2848 return state->set<RefBindings>(sym, V);
2858 return state->add<AutoreleaseStack>(sym);
2876 state = SendAutorelease(state, ARCountFactory, sym);
2881 return state->remove<RefBindings>(sym);
2937 return state->set<RefBindings>(sym, V);
2943 SymbolRef Sym,
2979 N, Sym);
3047 SymbolRef Sym = RetVal.getAsLocSymbol();
3049 if (Sym)
3050 Binding = state->get<RefBindings>(Sym);
3058 state = state->set<RefBindings>(Sym, *Binding);
3076 SymbolRef Sym = state->getSValAsScalarOrLoc(RetE).getAsLocSymbol();
3077 if (!Sym)
3081 const RefVal *T = state->get<RefBindings>(Sym);
3114 state = state->set<RefBindings>(Sym, X);
3130 C.getEngine(), Sym, X);
3137 T = state->get<RefBindings>(Sym);
3151 checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);
3158 Sym, state);
3166 SymbolRef Sym,
3190 state = state->set<RefBindings>(Sym, X);
3201 N, Sym, C.getEngine());
3210 state = state->set<RefBindings>(Sym, X ^ RefVal::ErrorReturnedNotOwned);
3222 C.isObjCGCEnabled(), SummaryLog, N, Sym);
3319 SymbolRef sym = *I;
3320 if (WhitelistedSymbols.count(sym))
3323 state = state->remove<RefBindings>(sym);
3336 SymbolRef Sym, RefVal V) const {
3362 state = state->set<RefBindings>(Sym, V);
3372 state = state->set<RefBindings>(Sym, V);
3388 SummaryLog, N, Sym, os.str());
3466 RetainCountChecker::getDeadSymbolTag(SymbolRef sym) const {
3467 const SimpleProgramPointTag *&tag = DeadSymbolTags[sym];
3471 out << "RetainCountChecker : Dead Symbol : " << sym->getSymbolID();
3488 SymbolRef Sym = *I;
3489 if (const RefVal *T = B.lookup(Sym)){
3492 GenericNodeBuilderRefCount Bd(C, getDeadSymbolTag(Sym));
3494 Sym, *T);
3533 static void PrintPool(raw_ostream &Out, SymbolRef Sym,
3536 if (Sym)
3537 Out << Sym->getSymbolID();
3543 if (const ARCounts *Cnts = State->get<AutoreleasePoolContents>(Sym))
