Lines Matching refs:Sym
364 SymbolRef Sym) { in REGISTER_MAP_WITH_PROGRAMSTATE()
365 return State->get<RefBindings>(Sym); in REGISTER_MAP_WITH_PROGRAMSTATE()
369 SymbolRef Sym, RefVal Val) { in setRefBinding() argument
370 return State->set<RefBindings>(Sym, Val); in setRefBinding()
373 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) { in removeRefBinding() argument
374 return State->remove<RefBindings>(Sym); in removeRefBinding()
1484 if (SymbolRef Sym = ReceiverV.getAsLocSymbol()) in getInstanceMethodSummary() local
1485 if (const RefVal *T = getRefBinding(State, Sym)) in getInstanceMethodSummary()
1726 SymbolRef Sym; member in __anonbe000e510611::CFRefReportVisitor
1732 : Sym(sym), SummaryLog(log), GCEnabled(gcEnabled) {} in CFRefReportVisitor()
1737 ID.AddPointer(Sym); in Profile()
1880 const RefVal* CurrT = getRefBinding(CurrSt, Sym); in VisitNode()
1884 const RefVal *PrevT = getRefBinding(PrevSt, Sym); in VisitNode()
2004 if (CurrSt->getSValAsScalarOrLoc(*AI, LCtx).getAsLocSymbol() != Sym) in VisitNode()
2014 .getAsLocSymbol() == Sym) { in VisitNode()
2165 if (CurrSt->getSValAsScalarOrLoc(Exp, LCtx).getAsLocSymbol() == Sym) { in VisitNode()
2190 SymbolRef Sym) { in GetAllocationSite() argument
2204 if (!getRefBinding(St, Sym)) in GetAllocationSite()
2207 StoreManager::FindUniqueBinding FB(Sym); in GetAllocationSite()
2241 if (ME->getMethodFamily() == OMF_init && RecV.getAsSymbol() == Sym) in GetAllocationSite()
2276 BR.markInteresting(Sym); in getEndPath()
2286 BR.markInteresting(Sym); in getEndPath()
2292 GetAllocationSite(BRC.getStateManager(), EndN, Sym); in getEndPath()
2318 const RefVal* RV = getRefBinding(EndN->getState(), Sym); in getEndPath()
2625 SymbolRef Sym, ProgramStateRef state) const;
2635 RefVal::Kind ErrorKind, SymbolRef Sym,
2649 SymbolRef Sym, RefVal V) const;
2737 SymbolRef Sym = state->getSVal(CE, C.getLocationContext()).getAsLocSymbol(); in checkPostStmt() local
2738 if (!Sym) in checkPostStmt()
2740 const RefVal* T = getRefBinding(state, Sym); in checkPostStmt()
2745 state = updateSymbol(state, Sym, *T, AE, hasErr, C); in checkPostStmt()
2805 if (SymbolRef Sym = State->getSVal(Ex, LCtx).getAsSymbol()) { in checkPostStmt() local
2807 State = setRefBinding(State, Sym, in checkPostStmt()
2814 static bool wasLoadedFromIvar(SymbolRef Sym) { in wasLoadedFromIvar() argument
2815 if (auto DerivedVal = dyn_cast<SymbolDerived>(Sym)) in wasLoadedFromIvar()
2817 if (auto RegionVal = dyn_cast<SymbolRegionValue>(Sym)) in wasLoadedFromIvar()
2829 SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol(); in checkPostStmt() local
2830 if (!Sym || !wasLoadedFromIvar(Sym)) in checkPostStmt()
2836 QualType Ty = Sym->getType(); in checkPostStmt()
2847 if (CMgr.isNull(State, Sym).isConstrainedTrue()) in checkPostStmt()
2850 if (const RefVal *RV = getRefBinding(State, Sym)) { in checkPostStmt()
2859 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2867 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2871 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()
2927 if (SymbolRef Sym = V.getAsLocSymbol()) { in processSummaryOfInlined() local
2928 state = removeRefBinding(state, Sym); in processSummaryOfInlined()
2936 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in processSummaryOfInlined() local
2938 state = removeRefBinding(state, Sym); in processSummaryOfInlined()
2946 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in processSummaryOfInlined() local
2947 if (Sym) in processSummaryOfInlined()
2948 state = removeRefBinding(state, Sym); in processSummaryOfInlined()
2967 if (SymbolRef Sym = V.getAsLocSymbol()) { in checkSummary() local
2968 if (const RefVal *T = getRefBinding(state, Sym)) { in checkSummary()
2969 state = updateSymbol(state, Sym, *T, Summ.getArg(idx), hasErr, C); in checkSummary()
2972 ErrorSym = Sym; in checkSummary()
2984 if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) { in checkSummary() local
2985 if (const RefVal *T = getRefBinding(state, Sym)) { in checkSummary()
2987 state = updateSymbol(state, Sym, *T, Summ.getReceiverEffect(), in checkSummary()
2991 ErrorSym = Sym; in checkSummary()
3025 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary() local
3026 if (!Sym) in checkSummary()
3032 state = setRefBinding(state, Sym, RefVal::makeOwned(RE.getObjKind(), in checkSummary()
3043 SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol(); in checkSummary() local
3044 if (!Sym) in checkSummary()
3049 state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(), in checkSummary()
3236 SymbolRef Sym, in processNonLeakError() argument
3244 if (const RefVal *RV = getRefBinding(St, Sym)) in processNonLeakError()
3281 N, Sym); in processNonLeakError()
3348 SymbolRef Sym = RetVal.getAsLocSymbol(); in evalCall() local
3350 if (Sym) in evalCall()
3351 Binding = getRefBinding(state, Sym); in evalCall()
3359 state = setRefBinding(state, Sym, *Binding); in evalCall()
3386 SymbolRef Sym = in checkPreStmt() local
3388 if (!Sym) in checkPreStmt()
3392 const RefVal *T = getRefBinding(state, Sym); in checkPreStmt()
3425 state = setRefBinding(state, Sym, X); in checkPreStmt()
3438 state = handleAutoreleaseCounts(state, Pred, &AutoreleaseTag, C, Sym, X); in checkPreStmt()
3445 T = getRefBinding(state, Sym); in checkPreStmt()
3465 checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state); in checkPreStmt()
3472 SymbolRef Sym, in checkReturnWithRetEffect() argument
3505 state = setRefBinding(state, Sym, X); in checkReturnWithRetEffect()
3515 N, Sym, C, IncludeAllocationLine); in checkReturnWithRetEffect()
3527 state = setRefBinding(state, Sym, in checkReturnWithRetEffect()
3532 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned); in checkReturnWithRetEffect()
3545 C.isObjCGCEnabled(), SummaryLog, N, Sym); in checkReturnWithRetEffect()
3683 SymbolRef Sym, RefVal V) const { in handleAutoreleaseCounts() argument
3717 return setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3732 state = setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3751 SummaryLog, N, Sym, os.str()); in handleAutoreleaseCounts()
3873 SymbolRef Sym = *I; in checkDeadSymbols() local
3874 if (const RefVal *T = B.lookup(Sym)){ in checkDeadSymbols()
3877 const ProgramPointTag *Tag = getDeadSymbolTag(Sym); in checkDeadSymbols()
3878 state = handleAutoreleaseCounts(state, Pred, Tag, C, Sym, *T); in checkDeadSymbols()
3884 state = handleSymbolDeath(state, *I, *getRefBinding(state, Sym), Leaked); in checkDeadSymbols()