99 enum class MatchState : uint8_t {  enum
127     (1U << static_cast<uint8_t>(MatchState::FlowFromReadOnly)) |
128     (1U << static_cast<uint8_t>(MatchState::FlowFromMemAliasReadOnly));
130     (1U << static_cast<uint8_t>(MatchState::FlowToWriteOnly)) |
131     (1U << static_cast<uint8_t>(MatchState::FlowToMemAliasWriteOnly));
170   bool insert(InstantiatedValue From, InstantiatedValue To, MatchState State) {  in insert()
257   MatchState State;
596                       MatchState State, ReachabilitySet &ReachSet,  in propagate()
618         propagate(Edge.Other, Src, MatchState::FlowFromReadOnly, ReachSet,  in initializeWorkList()
620         propagate(Src, Edge.Other, MatchState::FlowToWriteOnly, ReachSet,  in initializeWorkList()
657               MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList);  in processWorkListItem()
660       auto MemAliasPropagate = [&](MatchState FromState, MatchState ToState) {  in processWorkListItem()
665       MemAliasPropagate(MatchState::FlowFromReadOnly,  in processWorkListItem()
666                         MatchState::FlowFromMemAliasReadOnly);  in processWorkListItem()
667       MemAliasPropagate(MatchState::FlowToWriteOnly,  in processWorkListItem()
668                         MatchState::FlowToMemAliasWriteOnly);  in processWorkListItem()
669       MemAliasPropagate(MatchState::FlowToReadWrite,  in processWorkListItem()
670                         MatchState::FlowToMemAliasReadWrite);  in processWorkListItem()
682   auto NextAssignState = [&](MatchState State) {  in processWorkListItem()
686   auto NextRevAssignState = [&](MatchState State) {  in processWorkListItem()
690   auto NextMemState = [&](MatchState State) {  in processWorkListItem()
698   case MatchState::FlowFromReadOnly:  in processWorkListItem()
699     NextRevAssignState(MatchState::FlowFromReadOnly);  in processWorkListItem()
700     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()
701     NextMemState(MatchState::FlowFromMemAliasReadOnly);  in processWorkListItem()
704   case MatchState::FlowFromMemAliasNoReadWrite:  in processWorkListItem()
705     NextRevAssignState(MatchState::FlowFromReadOnly);  in processWorkListItem()
706     NextAssignState(MatchState::FlowToWriteOnly);  in processWorkListItem()
709   case MatchState::FlowFromMemAliasReadOnly:  in processWorkListItem()
710     NextRevAssignState(MatchState::FlowFromReadOnly);  in processWorkListItem()
711     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()
714   case MatchState::FlowToWriteOnly:  in processWorkListItem()
715     NextAssignState(MatchState::FlowToWriteOnly);  in processWorkListItem()
716     NextMemState(MatchState::FlowToMemAliasWriteOnly);  in processWorkListItem()
719   case MatchState::FlowToReadWrite:  in processWorkListItem()
720     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()
721     NextMemState(MatchState::FlowToMemAliasReadWrite);  in processWorkListItem()
724   case MatchState::FlowToMemAliasWriteOnly:  in processWorkListItem()
725     NextAssignState(MatchState::FlowToWriteOnly);  in processWorkListItem()
728   case MatchState::FlowToMemAliasReadWrite:  in processWorkListItem()
729     NextAssignState(MatchState::FlowToReadWrite);  in processWorkListItem()