Searched refs:WL1 (Results 1 – 1 of 1) sorted by relevance
453 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local458 WL1.push_back(Sink); in trim()461 while (!WL1.empty()) { in trim()462 const ExplodedNode *N = WL1.pop_back_val(); in trim()475 WL1.append(N->Preds.begin(), N->Preds.end()); in trim()