Searched refs:WL2 (Results 1 – 1 of 1) sorted by relevance
354 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local376 WL2.push_back(N); in trim()387 if (WL2.empty()) in trim()394 while (!WL2.empty()) { in trim()395 const ExplodedNode *N = WL2.pop_back_val(); in trim()442 WL2.push_back(*I); in trim()