32 ProgramStateRef setRefBinding(ProgramStateRef State, SymbolRef Sym,  in setRefBinding()  function
307     state = setRefBinding(state, sym,  in processObjCLiterals()
333     State = setRefBinding(State, Sym,  in checkPostStmt()
377     C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess()));  in checkPostStmt()
385     C.addTransition(setRefBinding(State, Sym, PlusZero));  in checkPostStmt()
389   State = setRefBinding(State, Sym, PlusZero.withIvarAccess());  in checkPostStmt()
584       return setRefBinding(St, Pointee,  in updateOutParameters()
588       return setRefBinding(St, Pointee,  in updateOutParameters()
712       state = setRefBinding(state, Sym, *updatedRefVal);  in checkSummary()
753     return setRefBinding(state, sym, V);  in updateSymbol()
772           return setRefBinding(state, sym, V);  in updateSymbol()
855   return setRefBinding(state, sym, V);  in updateSymbol()
1029   state = setRefBinding(state, Sym, X);  in processReturn()
1097         state = setRefBinding(state, Sym, X);  in checkReturnWithRetEffect()
1116         state = setRefBinding(state, Sym,  in checkReturnWithRetEffect()
1121         state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned);  in checkReturnWithRetEffect()
1284     return setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1299   state = setRefBinding(state, Sym, V);  in handleAutoreleaseCounts()
1349   return setRefBinding(state, sid, V ^ RefVal::ErrorLeak);  in handleSymbolDeath()
1403       state = setRefBinding(  in checkBeginFunction()
1406       state = setRefBinding(  in checkBeginFunction()