189 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef)  in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()  argument
190 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet)  in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
275   SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();  in checkBeginFunction()
278   SymbolSet RequiredReleases = F.getEmptySet();  in checkBeginFunction()
282   if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol))  in checkBeginFunction()
511   const SymbolSet *OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym);  in diagnoseMissingReleases()
515   SymbolSet NewUnreleased = *OldUnreleased;  in diagnoseMissingReleases()
516   SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();  in diagnoseMissingReleases()
852   const SymbolSet *Unreleased = State->get<UnreleasedIvarMap>(Instance);  in removeValueRequiringRelease()
857   SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>();  in removeValueRequiringRelease()
858   SymbolSet NewUnreleased = *Unreleased;  in removeValueRequiringRelease()