about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/value_analysis.rs
diff options
context:
space:
mode:
authorCamille GILLOT <gillot.camille@gmail.com>2023-05-27 16:27:04 +0000
committerCamille GILLOT <gillot.camille@gmail.com>2023-08-16 18:12:18 +0000
commit388f6a64130ea39c01d6be74c7cbf907c49b310a (patch)
tree3cbbeb27d761776cebe268494f2da9444dbfb3dc /compiler/rustc_mir_dataflow/src/value_analysis.rs
parent6cf15d4cb5bf00bb17b3b8c23a76cc755d082026 (diff)
downloadrust-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.rs14
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
         }
     }