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