diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-05-27 16:27:04 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-08-16 18:12:18 +0000 |
| commit | 388f6a64130ea39c01d6be74c7cbf907c49b310a (patch) | |
| tree | 3cbbeb27d761776cebe268494f2da9444dbfb3dc /compiler/rustc_mir_dataflow/src/value_analysis.rs | |
| parent | 6cf15d4cb5bf00bb17b3b8c23a76cc755d082026 (diff) | |
| download | rust-388f6a64130ea39c01d6be74c7cbf907c49b310a.tar.gz rust-388f6a64130ea39c01d6be74c7cbf907c49b310a.zip | |
Make TerminatorEdge plural.
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/value_analysis.rs')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/value_analysis.rs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/compiler/rustc_mir_dataflow/src/value_analysis.rs b/compiler/rustc_mir_dataflow/src/value_analysis.rs index f9ab95f6162..766e0257efd 100644 --- a/compiler/rustc_mir_dataflow/src/value_analysis.rs +++ b/compiler/rustc_mir_dataflow/src/value_analysis.rs @@ -245,7 +245,7 @@ pub trait ValueAnalysis<'tcx> { &self, terminator: &'mir Terminator<'tcx>, state: &mut State<Self::Value>, - ) -> TerminatorEdge<'mir, 'tcx> { + ) -> TerminatorEdges<'mir, 'tcx> { self.super_terminator(terminator, state) } @@ -253,7 +253,7 @@ pub trait ValueAnalysis<'tcx> { &self, terminator: &'mir Terminator<'tcx>, state: &mut State<Self::Value>, - ) -> TerminatorEdge<'mir, 'tcx> { + ) -> TerminatorEdges<'mir, 'tcx> { match &terminator.kind { TerminatorKind::Call { .. } | TerminatorKind::InlineAsm { .. } => { // Effect is applied by `handle_call_return`. @@ -306,7 +306,7 @@ pub trait ValueAnalysis<'tcx> { discr: &'mir Operand<'tcx>, targets: &'mir SwitchTargets, state: &mut State<Self::Value>, - ) -> TerminatorEdge<'mir, 'tcx> { + ) -> TerminatorEdges<'mir, 'tcx> { self.super_switch_int(discr, targets, state) } @@ -315,8 +315,8 @@ pub trait ValueAnalysis<'tcx> { discr: &'mir Operand<'tcx>, targets: &'mir SwitchTargets, _state: &mut State<Self::Value>, - ) -> TerminatorEdge<'mir, 'tcx> { - TerminatorEdge::SwitchInt { discr, targets } + ) -> TerminatorEdges<'mir, 'tcx> { + TerminatorEdges::SwitchInt { discr, targets } } fn wrap(self) -> ValueAnalysisWrapper<Self> @@ -371,11 +371,11 @@ where state: &mut Self::Domain, terminator: &'mir Terminator<'tcx>, _location: Location, - ) -> TerminatorEdge<'mir, 'tcx> { + ) -> TerminatorEdges<'mir, 'tcx> { if state.is_reachable() { self.0.handle_terminator(terminator, state) } else { - TerminatorEdge::None + TerminatorEdges::None } } |
