Searched refs:PrevSet (Results 1 – 1 of 1) sorted by relevance
126 const ExplodedNodeSet *PrevSet = &Src; in expandGraphWithCheckers() local133 CurrSet = (PrevSet == &Tmp1) ? &Tmp2 : &Tmp1; in expandGraphWithCheckers()137 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()138 for (const auto &NI : *PrevSet) in expandGraphWithCheckers()146 PrevSet = CurrSet; in expandGraphWithCheckers()