reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
252 state = setRefBinding(state, sym, 278 State = setRefBinding(State, Sym, 322 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); 330 C.addTransition(setRefBinding(State, Sym, PlusZero)); 334 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); 569 return setRefBinding(St, Pointee, 573 return setRefBinding(St, Pointee, 696 state = setRefBinding(state, Sym, *updatedRefVal); 737 return setRefBinding(state, sym, V); 756 return setRefBinding(state, sym, V); 839 return setRefBinding(state, sym, V); 1023 state = setRefBinding(state, Sym, X); 1091 state = setRefBinding(state, Sym, X); 1110 state = setRefBinding(state, Sym, 1115 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned); 1247 return setRefBinding(state, Sym, V); 1262 state = setRefBinding(state, Sym, V); 1309 return setRefBinding(state, sid, V ^ RefVal::ErrorLeak); 1359 state = setRefBinding(state, Sym, NewVal);