101 enum class MatchState : uint8_t {  enum
129     (1U << static_cast<uint8_t>(MatchState::FlowFromReadOnly)) |
130     (1U << static_cast<uint8_t>(MatchState::FlowFromMemAliasReadOnly));
132     (1U << static_cast<uint8_t>(MatchState::FlowToWriteOnly)) |
133     (1U << static_cast<uint8_t>(MatchState::FlowToMemAliasWriteOnly));
172   bool insert(InstantiatedValue From, InstantiatedValue To, MatchState State) {  in insert()
259   MatchState State;
597                       MatchState State, ReachabilitySet &ReachSet,  in propagate()
619         propagate(Edge.Other, Src, MatchState::FlowFromReadOnly, ReachSet,  in initializeWorkList()
621         propagate(Src, Edge.Other, MatchState::FlowToWriteOnly, ReachSet,  in initializeWorkList()
658               MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList);  in processWorkListItem()
661       auto MemAliasPropagate = [&](MatchState FromState, MatchState ToState) {  in processWorkListItem()
666       MemAliasPropagate(MatchState::FlowFromReadOnly,  in processWorkListItem()
667                         MatchState::FlowFromMemAliasReadOnly);  in processWorkListItem()
668       MemAliasPropagate(MatchState::FlowToWriteOnly,  in processWorkListItem()
669                         MatchState::FlowToMemAliasWriteOnly);  in processWorkListItem()
670       MemAliasPropagate(MatchState::FlowToReadWrite,  in processWorkListItem()
671                         MatchState::FlowToMemAliasReadWrite);  in processWorkListItem()
683   auto NextAssignState = [&](MatchState State) {  in processWorkListItem()
687   auto NextRevAssignState = [&](MatchState State) {  in processWorkListItem()
691   auto NextMemState = [&](MatchState State) {  in processWorkListItem()
699   case MatchState::FlowFromReadOnly:  in processWorkListItem()
700     NextRevAssignState(MatchState::FlowFromReadOnly);  in processWorkListItem()
701     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()
702     NextMemState(MatchState::FlowFromMemAliasReadOnly);  in processWorkListItem()
705   case MatchState::FlowFromMemAliasNoReadWrite:  in processWorkListItem()
706     NextRevAssignState(MatchState::FlowFromReadOnly);  in processWorkListItem()
707     NextAssignState(MatchState::FlowToWriteOnly);  in processWorkListItem()
710   case MatchState::FlowFromMemAliasReadOnly:  in processWorkListItem()
711     NextRevAssignState(MatchState::FlowFromReadOnly);  in processWorkListItem()
712     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()
715   case MatchState::FlowToWriteOnly:  in processWorkListItem()
716     NextAssignState(MatchState::FlowToWriteOnly);  in processWorkListItem()
717     NextMemState(MatchState::FlowToMemAliasWriteOnly);  in processWorkListItem()
720   case MatchState::FlowToReadWrite:  in processWorkListItem()
721     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()
722     NextMemState(MatchState::FlowToMemAliasReadWrite);  in processWorkListItem()
725   case MatchState::FlowToMemAliasWriteOnly:  in processWorkListItem()
726     NextAssignState(MatchState::FlowToWriteOnly);  in processWorkListItem()
729   case MatchState::FlowToMemAliasReadWrite:  in processWorkListItem()
730     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()