Searched refs:MarkedSymbols (Results 1 – 1 of 1) sorted by relevance
38 REGISTER_SET_WITH_PROGRAMSTATE(MarkedSymbols, const void *) in REGISTER_SET_WITH_PROGRAMSTATE() argument157 State = State->add<MarkedSymbols>(Sym); in analyzerWarnOnDeadSymbol()164 const MarkedSymbolsTy &Syms = State->get<MarkedSymbols>(); in checkDeadSymbols()178 C.addTransition(State->remove<MarkedSymbols>(Sym), N); in checkDeadSymbols()