Searched refs:WL2 (Results 1 – 1 of 1) sorted by relevance
457 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local475 WL2.push_back(N); in trim()484 if (WL2.empty()) in trim()487 assert(WL2.size() == 1 && "There must be only one root!"); in trim()493 while (!WL2.empty()) { in trim()494 const ExplodedNode *N = WL2.pop_back_val(); in trim()543 WL2.push_back(Succ); in trim()