598                       std::vector<WorkListItem> &WorkList) {  in propagate()  argument
602     WorkList.push_back(WorkListItem{From, To, State});  in propagate()
605 static void initializeWorkList(std::vector<WorkListItem> &WorkList,  in initializeWorkList()  argument
620                   WorkList);  in initializeWorkList()
622                   WorkList);  in initializeWorkList()
638                                 std::vector<WorkListItem> &WorkList) {  in processWorkListItem()  argument
658               MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList);  in processWorkListItem()
663           propagate(Src, *ToNodeBelow, ToState, ReachSet, WorkList);  in processWorkListItem()
685       propagate(FromNode, AssignEdge.Other, State, ReachSet, WorkList);  in processWorkListItem()
689       propagate(FromNode, RevAssignEdge.Other, State, ReachSet, WorkList);  in processWorkListItem()
694         propagate(FromNode, MemAlias, State, ReachSet, WorkList);  in processWorkListItem()
738   std::vector<InstantiatedValue> WorkList, NextList;  in buildAttrMap()  local
747       WorkList.push_back(Node);  in buildAttrMap()
751   while (!WorkList.empty()) {  in buildAttrMap()
752     for (const auto &Dst : WorkList) {  in buildAttrMap()
774     WorkList.swap(NextList);  in buildAttrMap()
792   std::vector<WorkListItem> WorkList, NextList;  in buildInfoFrom()  local
793   initializeWorkList(WorkList, ReachSet, Graph);  in buildInfoFrom()
795   while (!WorkList.empty()) {  in buildInfoFrom()
796     for (const auto &Item : WorkList)  in buildInfoFrom()
799     NextList.swap(WorkList);  in buildInfoFrom()