606                                const CFLGraph &Graph) {  in initializeWorkList()  argument
607   for (const auto &Mapping : Graph.value_mappings()) {  in initializeWorkList()
627 static Optional<InstantiatedValue> getNodeBelow(const CFLGraph &Graph,  in getNodeBelow()  argument
630   if (Graph.getNode(NodeBelow))  in getNodeBelow()
635 static void processWorkListItem(const WorkListItem &Item, const CFLGraph &Graph,  in processWorkListItem()  argument
641   auto NodeInfo = Graph.getNode(ToNode);  in processWorkListItem()
652   auto FromNodeBelow = getNodeBelow(Graph, FromNode);  in processWorkListItem()
653   auto ToNodeBelow = getNodeBelow(Graph, ToNode);  in processWorkListItem()
734 static AliasAttrMap buildAttrMap(const CFLGraph &Graph,  in buildAttrMap()  argument
740   for (const auto &Mapping : Graph.value_mappings()) {  in buildAttrMap()
764       auto DstBelow = getNodeBelow(Graph, Dst);  in buildAttrMap()
770         DstBelow = getNodeBelow(Graph, *DstBelow);  in buildAttrMap()
786   auto &Graph = GraphBuilder.getCFLGraph();  in buildInfoFrom()  local
792   initializeWorkList(WorkList, ReachSet, Graph);  in buildInfoFrom()
796       processWorkListItem(Item, Graph, ReachSet, MemSet, NextList);  in buildInfoFrom()
804   auto IValueAttrMap = buildAttrMap(Graph, ReachSet);  in buildInfoFrom()