reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
503 const SymbolSet *OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym); 508 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); 510 ProgramStateRef InitialState = State; 532 if (State->getStateManager() 534 .isNull(State, IvarSymbol) 585 State = State->remove<UnreleasedIvarMap>(SelfSym); 585 State = State->remove<UnreleasedIvarMap>(SelfSym); 587 State = State->set<UnreleasedIvarMap>(SelfSym, NewUnreleased); 587 State = State->set<UnreleasedIvarMap>(SelfSym, NewUnreleased); 591 C.addTransition(State, ErrNode); 592 } else if (State != InitialState) { 593 C.addTransition(State); 599 assert(!LCtx->inTopFrame() || State->get<UnreleasedIvarMap>().isEmpty());