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