Searched refs:WL2 (Results 1 – 1 of 1) sorted by relevance
453 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local470 WL2.push_back(N); in trim()479 if (WL2.empty()) in trim()486 while (!WL2.empty()) { in trim()487 const ExplodedNode *N = WL2.pop_back_val(); in trim()532 WL2.push_back(Succ); in trim()