Searched refs:WL1 (Results 1 – 1 of 1) sorted by relevance
354 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local360 WL1.push_back(*I); in trim()364 while (!WL1.empty()) { in trim()365 const ExplodedNode *N = WL1.pop_back_val(); in trim()378 WL1.append(N->Preds.begin(), N->Preds.end()); in trim()