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