Searched refs:WL1 (Results 1 – 2 of 2) sorted by relevance
362 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local368 WL1.push_back(*I); in trim()372 while (!WL1.empty()) { in trim()373 const ExplodedNode *N = WL1.pop_back_val(); in trim()386 WL1.append(N->Preds.begin(), N->Preds.end()); in trim()
455 SmallVector<const ExplodedNode*, 10> WL1, WL2; in trim() local460 WL1.push_back(Sink); in trim()463 while (!WL1.empty()) { in trim()464 const ExplodedNode *N = WL1.pop_back_val(); in trim()477 WL1.append(N->Preds.begin(), N->Preds.end()); in trim()