597                       std::vector<WorkListItem> &WorkList) {  in propagate()  argument
601     WorkList.push_back(WorkListItem{From, To, State});  in propagate()
604 static void initializeWorkList(std::vector<WorkListItem> &WorkList,  in initializeWorkList()  argument
619                   WorkList);  in initializeWorkList()
621                   WorkList);  in initializeWorkList()
637                                 std::vector<WorkListItem> &WorkList) {  in processWorkListItem()  argument
657               MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList);  in processWorkListItem()
662           propagate(Src, *ToNodeBelow, ToState, ReachSet, WorkList);  in processWorkListItem()
684       propagate(FromNode, AssignEdge.Other, State, ReachSet, WorkList);  in processWorkListItem()
688       propagate(FromNode, RevAssignEdge.Other, State, ReachSet, WorkList);  in processWorkListItem()
693         propagate(FromNode, MemAlias, State, ReachSet, WorkList);  in processWorkListItem()
737   std::vector<InstantiatedValue> WorkList, NextList;  in buildAttrMap()  local
746       WorkList.push_back(Node);  in buildAttrMap()
750   while (!WorkList.empty()) {  in buildAttrMap()
751     for (const auto &Dst : WorkList) {  in buildAttrMap()
773     WorkList.swap(NextList);  in buildAttrMap()
791   std::vector<WorkListItem> WorkList, NextList;  in buildInfoFrom()  local
792   initializeWorkList(WorkList, ReachSet, Graph);  in buildInfoFrom()
794   while (!WorkList.empty()) {  in buildInfoFrom()
795     for (const auto &Item : WorkList)  in buildInfoFrom()
798     NextList.swap(WorkList);  in buildInfoFrom()