reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
128 (1U << static_cast<uint8_t>(MatchState::FlowFromReadOnly)) | 129 (1U << static_cast<uint8_t>(MatchState::FlowFromMemAliasReadOnly)); 131 (1U << static_cast<uint8_t>(MatchState::FlowToWriteOnly)) | 132 (1U << static_cast<uint8_t>(MatchState::FlowToMemAliasWriteOnly)); 171 bool insert(InstantiatedValue From, InstantiatedValue To, MatchState State) { 258 MatchState State; 597 MatchState State, ReachabilitySet &ReachSet, 619 propagate(Edge.Other, Src, MatchState::FlowFromReadOnly, ReachSet, 621 propagate(Src, Edge.Other, MatchState::FlowToWriteOnly, ReachSet, 658 MatchState::FlowFromMemAliasNoReadWrite, ReachSet, WorkList); 666 MemAliasPropagate(MatchState::FlowFromReadOnly, 667 MatchState::FlowFromMemAliasReadOnly); 668 MemAliasPropagate(MatchState::FlowToWriteOnly, 669 MatchState::FlowToMemAliasWriteOnly); 670 MemAliasPropagate(MatchState::FlowToReadWrite, 671 MatchState::FlowToMemAliasReadWrite); 699 case MatchState::FlowFromReadOnly: 700 NextRevAssignState(MatchState::FlowFromReadOnly); 701 NextAssignState(MatchState::FlowToReadWrite); 702 NextMemState(MatchState::FlowFromMemAliasReadOnly); 705 case MatchState::FlowFromMemAliasNoReadWrite: 706 NextRevAssignState(MatchState::FlowFromReadOnly); 707 NextAssignState(MatchState::FlowToWriteOnly); 710 case MatchState::FlowFromMemAliasReadOnly: 711 NextRevAssignState(MatchState::FlowFromReadOnly); 712 NextAssignState(MatchState::FlowToReadWrite); 715 case MatchState::FlowToWriteOnly: 716 NextAssignState(MatchState::FlowToWriteOnly); 717 NextMemState(MatchState::FlowToMemAliasWriteOnly); 720 case MatchState::FlowToReadWrite: 721 NextAssignState(MatchState::FlowToReadWrite); 722 NextMemState(MatchState::FlowToMemAliasReadWrite); 725 case MatchState::FlowToMemAliasWriteOnly: 726 NextAssignState(MatchState::FlowToWriteOnly); 729 case MatchState::FlowToMemAliasReadWrite: 730 NextAssignState(MatchState::FlowToReadWrite);