29 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {  in getRefBinding()  argument
30   return State->get<RefBindings>(Sym);  in getRefBinding()
37 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,  in setRefBinding()  argument
39   assert(Sym != nullptr);  in setRefBinding()
40   return State->set<RefBindings>(Sym, Val);  in setRefBinding()
43 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {  in removeRefBinding()  argument
44   return State->remove<RefBindings>(Sym);  in removeRefBinding()
210   SymbolRef Sym = C.getSVal(CE).getAsLocSymbol();  in checkPostStmt()  local
211   if (!Sym)  in checkPostStmt()
213   const RefVal* T = getRefBinding(state, Sym);  in checkPostStmt()
218   state = updateSymbol(state, Sym, *T, AE, hasErr, C);  in checkPostStmt()
275   if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {  in checkPostStmt()  local
277     State = setRefBinding(State, Sym,  in checkPostStmt()
291   SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();  in checkPostStmt()  local
292   if (!Sym || !isa_and_nonnull<ObjCIvarRegion>(Sym->getOriginRegion()))  in checkPostStmt()
298   QualType Ty = Sym->getType();  in checkPostStmt()
309   if (CMgr.isNull(State, Sym).isConstrainedTrue())  in checkPostStmt()
312   if (const RefVal *RV = getRefBinding(State, Sym)) {  in checkPostStmt()
321     C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess()));  in checkPostStmt()
329     C.addTransition(setRefBinding(State, Sym, PlusZero));  in checkPostStmt()
333   State = setRefBinding(State, Sym, PlusZero.withIvarAccess());  in checkPostStmt()
371       if (SymbolRef Sym = ReceiverV.getAsLocSymbol())  in checkPostCall()  local
372         if (const RefVal *T = getRefBinding(C.getState(), Sym))  in checkPostCall()
456     if (SymbolRef Sym = V.getAsLocSymbol()) {  in processSummaryOfInlined()  local
458       if (const RefVal *T = getRefBinding(state, Sym))  in processSummaryOfInlined()
463         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
469     if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {  in processSummaryOfInlined()  local
471         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
479   if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {  in processSummaryOfInlined()  local
481       state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
622     if (SymbolRef Sym = V.getAsLocSymbol()) {  in checkSummary()  local
623       if (const RefVal *T = getRefBinding(state, Sym)) {  in checkSummary()
628         state = updateSymbol(state, Sym, *T, Effect, hasErr, C);  in checkSummary()
631           ErrorSym = Sym;  in checkSummary()
644       if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {  in checkSummary()  local
645         if (const RefVal *T = getRefBinding(state, Sym)) {  in checkSummary()
647           state = updateSymbol(state, Sym, *T,  in checkSummary()
651             ErrorSym = Sym;  in checkSummary()
658       if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) {  in checkSummary()  local
659         if (const RefVal *T = getRefBinding(state, Sym)) {  in checkSummary()
660           state = updateSymbol(state, Sym, *T, Summ.getThisEffect(),  in checkSummary()
664             ErrorSym = Sym;  in checkSummary()
687   if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {  in checkSummary()  local
695       state = setRefBinding(state, Sym, *updatedRefVal);  in checkSummary()
843                                        SymbolRef Sym) const {  in errorKindToBugKind()
850       if (Sym->getType()->getPointeeCXXRecordDecl())  in errorKindToBugKind()
861                                              SymbolRef Sym,  in processNonLeakError()  argument
869   if (const RefVal *RV = getRefBinding(St, Sym))  in processNonLeakError()
878       errorKindToBugKind(ErrorKind, Sym),  in processNonLeakError()
879       C.getASTContext().getLangOpts(), N, Sym);  in processNonLeakError()
985   SymbolRef Sym = state->getSValAsScalarOrLoc(RetE, C.getLocationContext())  in processReturn()  local
987   if (!Sym)  in processReturn()
991   const RefVal *T = getRefBinding(state, Sym);  in processReturn()
1023   state = setRefBinding(state, Sym, X);  in processReturn()
1036   state = handleAutoreleaseCounts(state, Pred, &AutoreleaseTag, C, Sym, X, S);  in processReturn()
1043   T = getRefBinding(state, Sym);  in processReturn()
1063   return checkReturnWithRetEffect(S, C, Pred, RE, X, Sym, state);  in processReturn()
1070                                                   SymbolRef Sym,  in checkReturnWithRetEffect()  argument
1091         state = setRefBinding(state, Sym, X);  in checkReturnWithRetEffect()
1098               std::make_unique<RefLeakReport>(*LeakAtReturn, LOpts, N, Sym, C);  in checkReturnWithRetEffect()
1110         state = setRefBinding(state, Sym,  in checkReturnWithRetEffect()
1115         state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned);  in checkReturnWithRetEffect()
1123               *ReturnNotOwnedForOwned, C.getASTContext().getLangOpts(), N, Sym);  in checkReturnWithRetEffect()
1211                                             SymbolRef Sym,  in handleAutoreleaseCounts()  argument
1247     return setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1262   state = setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1276     auto R = std::make_unique<RefCountReport>(*OverAutorelease, LOpts, N, Sym,  in handleAutoreleaseCounts()
1349     SymbolRef Sym = state->getSVal(state->getRegion(Param, LCtx)).getAsSymbol();  in checkBeginFunction()  local
1359         state = setRefBinding(state, Sym, NewVal);  in checkBeginFunction()
1418     SymbolRef Sym = I.first;  in checkDeadSymbols()  local
1419     if (SymReaper.isDead(Sym)) {  in checkDeadSymbols()
1422       state = handleAutoreleaseCounts(state, Pred, &Tag, C, Sym, V);  in checkDeadSymbols()
1428       state = handleSymbolDeath(state, Sym, *getRefBinding(state, Sym), Leaked);  in checkDeadSymbols()