28 const RefVal *getRefBinding(ProgramStateRef State, SymbolRef Sym) {  in getRefBinding()  argument
29   return State->get<RefBindings>(Sym);  in getRefBinding()
36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,  in setRefBinding()  argument
38   assert(Sym != nullptr);  in setRefBinding()
39   return State->set<RefBindings>(Sym, Val);  in setRefBinding()
42 static ProgramStateRef removeRefBinding(ProgramStateRef State, SymbolRef Sym) {  in removeRefBinding()  argument
43   return State->remove<RefBindings>(Sym);  in removeRefBinding()
211   SymbolRef Sym = C.getSVal(CE).getAsLocSymbol();  in checkPostStmt()  local
212   if (!Sym)  in checkPostStmt()
214   const RefVal* T = getRefBinding(state, Sym);  in checkPostStmt()
219   state = updateSymbol(state, Sym, *T, AE, hasErr, C);  in checkPostStmt()
276   if (SymbolRef Sym = Pred->getSVal(Ex).getAsSymbol()) {  in checkPostStmt()  local
278     State = setRefBinding(State, Sym,  in checkPostStmt()
292   SymbolRef Sym = State->getSVal(*IVarLoc).getAsSymbol();  in checkPostStmt()  local
293   if (!Sym || !dyn_cast_or_null<ObjCIvarRegion>(Sym->getOriginRegion()))  in checkPostStmt()
299   QualType Ty = Sym->getType();  in checkPostStmt()
310   if (CMgr.isNull(State, Sym).isConstrainedTrue())  in checkPostStmt()
313   if (const RefVal *RV = getRefBinding(State, Sym)) {  in checkPostStmt()
322     C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess()));  in checkPostStmt()
330     C.addTransition(setRefBinding(State, Sym, PlusZero));  in checkPostStmt()
334   State = setRefBinding(State, Sym, PlusZero.withIvarAccess());  in checkPostStmt()
372       if (SymbolRef Sym = ReceiverV.getAsLocSymbol())  in checkPostCall()  local
373         if (const RefVal *T = getRefBinding(C.getState(), Sym))  in checkPostCall()
457     if (SymbolRef Sym = V.getAsLocSymbol()) {  in processSummaryOfInlined()  local
459       if (const RefVal *T = getRefBinding(state, Sym))  in processSummaryOfInlined()
464         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
470     if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {  in processSummaryOfInlined()  local
472         state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
480   if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {  in processSummaryOfInlined()  local
482       state = removeRefBinding(state, Sym);  in processSummaryOfInlined()
623     if (SymbolRef Sym = V.getAsLocSymbol()) {  in checkSummary()  local
624       if (const RefVal *T = getRefBinding(state, Sym)) {  in checkSummary()
629         state = updateSymbol(state, Sym, *T, Effect, hasErr, C);  in checkSummary()
632           ErrorSym = Sym;  in checkSummary()
645       if (SymbolRef Sym = MsgInvocation->getReceiverSVal().getAsLocSymbol()) {  in checkSummary()  local
646         if (const RefVal *T = getRefBinding(state, Sym)) {  in checkSummary()
648           state = updateSymbol(state, Sym, *T,  in checkSummary()
652             ErrorSym = Sym;  in checkSummary()
659       if (SymbolRef Sym = MCall->getCXXThisVal().getAsLocSymbol()) {  in checkSummary()  local
660         if (const RefVal *T = getRefBinding(state, Sym)) {  in checkSummary()
661           state = updateSymbol(state, Sym, *T, Summ.getThisEffect(),  in checkSummary()
665             ErrorSym = Sym;  in checkSummary()
688   if (SymbolRef Sym = CallOrMsg.getReturnValue().getAsSymbol()) {  in checkSummary()  local
696       state = setRefBinding(state, Sym, *updatedRefVal);  in checkSummary()
844                                        SymbolRef Sym) const {  in errorKindToBugKind()
851       if (Sym->getType()->getPointeeCXXRecordDecl())  in errorKindToBugKind()
862                                              SymbolRef Sym,  in processNonLeakError()  argument
870   if (const RefVal *RV = getRefBinding(St, Sym))  in processNonLeakError()
879       errorKindToBugKind(ErrorKind, Sym),  in processNonLeakError()
880       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()