Use Terminator::edges for backward analysis too.

cjgillot · cjgillot · commit f5e4eb91b762 · 2023-08-16T19:40:46.000Z
diff --git a/compiler/rustc_mir_dataflow/src/impls/liveness.rs b/compiler/rustc_mir_dataflow/src/impls/liveness.rs
@@ -292,7 +292,7 @@ impl<'a, 'tcx> Analysis<'tcx> for MaybeTransitiveLiveLocals<'a> {
         location: Location,
     ) -> TerminatorEdges<'mir, 'tcx> {
         TransferFunction(trans).visit_terminator(terminator, location);
-        TerminatorEdges::None
+        terminator.edges()
     }
 
     fn apply_call_return_effect(

Original file line number	Diff line number	Diff line change
`@@ -292,7 +292,7 @@ impl<'a, 'tcx> Analysis<'tcx> for MaybeTransitiveLiveLocals<'a> {`
`292`	`292`	`location: Location,`
`293`	`293`	`) -> TerminatorEdges<'mir, 'tcx> {`
`294`	`294`	`TransferFunction(trans).visit_terminator(terminator, location);`
`295`		`- TerminatorEdges::None`
	`295`	`+ terminator.edges()`
`296`	`296`	`}`
`297`	`297`
`298`	`298`	`fn apply_call_return_effect(`