Searched refs:PrevSet (Results 1 – 1 of 1) sorted by relevance
124 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers() local131 CurrSet = (PrevSet == &Tmp1) ? &Tmp2 : &Tmp1; in expandGraphWithCheckers()135 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()136 for (const auto &NI : *PrevSet) in expandGraphWithCheckers()144 PrevSet = CurrSet; in expandGraphWithCheckers()