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