Lines Matching refs:SymbolSet
184 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE() argument
185 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
270 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
273 SymbolSet RequiredReleases = F.getEmptySet(); in checkBeginFunction()
277 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol)) in checkBeginFunction()
504 const SymbolSet *OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym); in diagnoseMissingReleases()
508 SymbolSet NewUnreleased = *OldUnreleased; in diagnoseMissingReleases()
509 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
862 const SymbolSet *Unreleased = State->get<UnreleasedIvarMap>(Instance); in removeValueRequiringRelease()
867 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
868 SymbolSet NewUnreleased = *Unreleased; in removeValueRequiringRelease()