Searched refs:CurrSet (Results 1 – 2 of 2) sorted by relevance
128 ExplodedNodeSet *CurrSet = nullptr; in expandGraphWithCheckers() local130 CurrSet = &Dst; in expandGraphWithCheckers()132 CurrSet = (PrevSet == &Tmp1) ? &Tmp2 : &Tmp1; in expandGraphWithCheckers()133 CurrSet->clear(); in expandGraphWithCheckers()136 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()141 if (CurrSet->empty()) in expandGraphWithCheckers()145 PrevSet = CurrSet; in expandGraphWithCheckers()
276 if (const SymbolSet *CurrSet = State->get<UnreleasedIvarMap>(SelfSymbol)) in checkBeginFunction() local277 RequiredReleases = *CurrSet; in checkBeginFunction()