Lines Matching refs:setRefBinding
368 static inline ProgramStateRef setRefBinding(ProgramStateRef State, in setRefBinding() function
2780 state = setRefBinding(state, sym, in processObjCLiterals()
2807 State = setRefBinding(State, Sym, in checkPostStmt()
2859 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2867 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2871 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()
3032 state = setRefBinding(state, Sym, RefVal::makeOwned(RE.getObjKind(), in checkSummary()
3049 state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(), in checkSummary()
3108 return setRefBinding(state, sym, V); in updateSymbol()
3133 return setRefBinding(state, sym, V); in updateSymbol()
3230 return setRefBinding(state, sym, V); in updateSymbol()
3359 state = setRefBinding(state, Sym, *Binding); in evalCall()
3425 state = setRefBinding(state, Sym, X); in checkPreStmt()
3505 state = setRefBinding(state, Sym, X); in checkReturnWithRetEffect()
3527 state = setRefBinding(state, Sym, in checkReturnWithRetEffect()
3532 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned); in checkReturnWithRetEffect()
3717 return setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3732 state = setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3783 return setRefBinding(state, sid, V ^ RefVal::ErrorLeak); in handleSymbolDeath()