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