Lines Matching refs:setRefBinding
370 static inline ProgramStateRef setRefBinding(ProgramStateRef State, in setRefBinding() function
2802 state = setRefBinding(state, sym, in processObjCLiterals()
2829 State = setRefBinding(State, Sym, in checkPostStmt()
2873 C.addTransition(setRefBinding(State, Sym, RV->withIvarAccess())); in checkPostStmt()
2881 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()
2885 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()
2986 State = setRefBinding(State, Pointee, in updateOutParameter()
3083 state = setRefBinding(state, Sym, RefVal::makeOwned(RE.getObjKind(), in checkSummary()
3100 state = setRefBinding(state, Sym, RefVal::makeNotOwned(RE.getObjKind(), in checkSummary()
3158 return setRefBinding(state, sym, V); in updateSymbol()
3188 return setRefBinding(state, sym, V); in updateSymbol()
3285 return setRefBinding(state, sym, V); in updateSymbol()
3414 state = setRefBinding(state, Sym, *Binding); in evalCall()
3480 state = setRefBinding(state, Sym, X); in checkPreStmt()
3560 state = setRefBinding(state, Sym, X); in checkReturnWithRetEffect()
3579 state = setRefBinding(state, Sym, in checkReturnWithRetEffect()
3584 state = setRefBinding(state, Sym, X ^ RefVal::ErrorReturnedNotOwned); in checkReturnWithRetEffect()
3766 return setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3781 state = setRefBinding(state, Sym, V); in handleAutoreleaseCounts()
3831 return setRefBinding(state, sid, V ^ RefVal::ErrorLeak); in handleSymbolDeath()