Lines Matching defs:SymbolSet

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