37 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,  in setRefBinding()  function
251     state = setRefBinding(state, sym,  in processObjCLiterals()
277     State = setRefBinding(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()
568       return setRefBinding(St, Pointee,  in updateOutParameters()
572       return setRefBinding(St, Pointee,  in updateOutParameters()
695       state = setRefBinding(state, Sym, *updatedRefVal);  in checkSummary()
736     return setRefBinding(state, sym, V);  in updateSymbol()
755           return setRefBinding(state, sym, V);  in updateSymbol()
838   return setRefBinding(state, sym, V);  in updateSymbol()
1023   state = setRefBinding(state, Sym, X);  in processReturn()
1091         state = setRefBinding(state, Sym, X);  in checkReturnWithRetEffect()
1110         state = setRefBinding(state, Sym,  in checkReturnWithRetEffect()
1115         state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned);  in checkReturnWithRetEffect()
1247     return setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1262   state = setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1309   return setRefBinding(state, sid, V ^ RefVal::ErrorLeak);  in handleSymbolDeath()
1359         state = setRefBinding(state, Sym, NewVal);  in checkBeginFunction()