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