Lines Matching refs:Graph
607 const CFLGraph &Graph) { in initializeWorkList() argument
608 for (const auto &Mapping : Graph.value_mappings()) { in initializeWorkList()
628 static Optional<InstantiatedValue> getNodeBelow(const CFLGraph &Graph, in getNodeBelow() argument
631 if (Graph.getNode(NodeBelow)) in getNodeBelow()
636 static void processWorkListItem(const WorkListItem &Item, const CFLGraph &Graph, in processWorkListItem() argument
642 auto NodeInfo = Graph.getNode(ToNode); in processWorkListItem()
653 auto FromNodeBelow = getNodeBelow(Graph, FromNode); in processWorkListItem()
654 auto ToNodeBelow = getNodeBelow(Graph, ToNode); in processWorkListItem()
735 static AliasAttrMap buildAttrMap(const CFLGraph &Graph, in buildAttrMap() argument
741 for (const auto &Mapping : Graph.value_mappings()) { in buildAttrMap()
765 auto DstBelow = getNodeBelow(Graph, Dst); in buildAttrMap()
771 DstBelow = getNodeBelow(Graph, *DstBelow); in buildAttrMap()
787 auto &Graph = GraphBuilder.getCFLGraph(); in buildInfoFrom() local
793 initializeWorkList(WorkList, ReachSet, Graph); in buildInfoFrom()
797 processWorkListItem(Item, Graph, ReachSet, MemSet, NextList); in buildInfoFrom()
805 auto IValueAttrMap = buildAttrMap(Graph, ReachSet); in buildInfoFrom()