Searched refs:PlusZero (Results 1 – 1 of 1) sorted by relevance
327 RefVal PlusZero = RefVal::makeNotOwned(Kind, Ty); in checkPostStmt() local331 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()335 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()