Searched defs:CurrSet (Results 1 – 2 of 2) sorted by relevance
282 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol)) in checkBeginFunction() local
127 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers() local