Lines Matching refs:setRefBinding
369 static inline ProgramStateRef setRefBinding(ProgramStateRef State, in setRefBinding() function
2801 state = setRefBinding(state, sym, in processObjCLiterals()
2828 State = setRefBinding(State, Sym, in checkPostStmt()
2880 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2888 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2892 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()
2993 State = setRefBinding(State, Pointee, in updateOutParameter()
3090 state = setRefBinding(state, Sym, RefVal::makeOwned(RE.getObjKind(), in checkSummary()
3107 state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(), in checkSummary()
3165 return setRefBinding(state, sym, V); in updateSymbol()
3195 return setRefBinding(state, sym, V); in updateSymbol()
3292 return setRefBinding(state, sym, V); in updateSymbol()
3421 state = setRefBinding(state, Sym, *Binding); in evalCall()
3487 state = setRefBinding(state, Sym, X); in checkPreStmt()
3567 state = setRefBinding(state, Sym, X); in checkReturnWithRetEffect()
3586 state = setRefBinding(state, Sym, in checkReturnWithRetEffect()
3591 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned); in checkReturnWithRetEffect()
3773 return setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3788 state = setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3838 return setRefBinding(state, sid, V ^ RefVal::ErrorLeak); in handleSymbolDeath()