Searched refs:PlusZero (Results 1 – 2 of 2) sorted by relevance
9 - (id)PlusZero; method31 return [self performSelector : @selector(PlusZero)];
2877 RefVal PlusZero = RefVal::makeNotOwned(Kind, Ty); in checkPostStmt() local2881 C.addTransition(setRefBinding(State, Sym, PlusZero)); in checkPostStmt()2885 State = setRefBinding(State, Sym, PlusZero.withIvarAccess()); in checkPostStmt()