Searched refs:WL2 (Results 1 – 1 of 1) sorted by relevance
454 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local471 WL2.push_back(N); in trim()480 if (WL2.empty()) in trim()487 while (!WL2.empty()) { in trim()488 const ExplodedNode *N = WL2.pop_back_val(); in trim()535 WL2.push_back(*I); in trim()