Lines Matching refs:SymbolSet
183 REGISTER_SET_FACTORY_WITH_PROGRAMSTATE(SymbolSet, SymbolRef) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE() argument
184 REGISTER_MAP_WITH_PROGRAMSTATE(UnreleasedIvarMap, SymbolRef, SymbolSet) in REGISTER_SET_FACTORY_WITH_PROGRAMSTATE()
269 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in checkBeginFunction()
272 SymbolSet RequiredReleases = F.getEmptySet(); in checkBeginFunction()
276 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol)) in checkBeginFunction()
503 const SymbolSet *OldUnreleased = State->get<UnreleasedIvarMap>(SelfSym); in diagnoseMissingReleases()
507 SymbolSet NewUnreleased = *OldUnreleased; in diagnoseMissingReleases()
508 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in diagnoseMissingReleases()
861 const SymbolSet *Unreleased = State->get<UnreleasedIvarMap>(Instance); in removeValueRequiringRelease()
866 SymbolSet::Factory &F = State->getStateManager().get_context<SymbolSet>(); in removeValueRequiringRelease()
867 SymbolSet NewUnreleased = *Unreleased; in removeValueRequiringRelease()