Home | History | Annotate | Download | only in Core

Lines Matching defs:WL

650   WorkList WL;
713     WL.push_back(E);
723     while (!WL.empty()) {
724       WorkListElement E = WL.pop_back_val();