Use Terminator::edges for backward analysis too.

2026-04-27 18:57:42 +03:00 · 2023-08-16 18:21:06 +00:00
parent 94c5ea350f
commit f5e4eb91b7
1 changed files with 1 additions and 1 deletions
@@ -292,7 +292,7 @@ fn apply_terminator_effect<'mir>(
        location: Location,
    ) -> TerminatorEdges<'mir, 'tcx> {
        TransferFunction(trans).visit_terminator(terminator, location);
-        TerminatorEdges::None
+        terminator.edges()
    }

    fn apply_call_return_effect(