Searched refs:WL2 (Results 1 – 1 of 1) sorted by relevance
354 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local373 WL2.push_back(N); in trim()382 if (WL2.empty()) in trim()389 while (!WL2.empty()) { in trim()390 const ExplodedNode *N = WL2.pop_back_val(); in trim()437 WL2.push_back(*I); in trim()