36 static ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,  in setRefBinding()  function
252     state = setRefBinding(state, sym,  in processObjCLiterals()
278     State = setRefBinding(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()
569       return setRefBinding(St, Pointee,  in updateOutParameters()
573       return setRefBinding(St, Pointee,  in updateOutParameters()
696       state = setRefBinding(state, Sym, *updatedRefVal);  in checkSummary()
737     return setRefBinding(state, sym, V);  in updateSymbol()
756           return setRefBinding(state, sym, V);  in updateSymbol()
839   return setRefBinding(state, sym, V);  in updateSymbol()
1024   state = setRefBinding(state, Sym, X);  in processReturn()
1092         state = setRefBinding(state, Sym, X);  in checkReturnWithRetEffect()
1111         state = setRefBinding(state, Sym,  in checkReturnWithRetEffect()
1116         state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned);  in checkReturnWithRetEffect()
1248     return setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1263   state = setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1310   return setRefBinding(state, sid, V ^ RefVal::ErrorLeak);  in handleSymbolDeath()
1360         state = setRefBinding(state, Sym, NewVal);  in checkBeginFunction()