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