Rollup merge of rust-lang#144996 - dianqk:simplifycfg-collapse_goto_chain-changed, r=cjgillot

GuillaumeGomez · web-flow · commit e56c24129e7d · 2025-08-06T21:29:33.000+02:00
simplifycfg: Mark as changed when start is modified in collapse goto chain Split from rust-lang#142771. r? cjgillot
diff --git a/compiler/rustc_mir_transform/src/simplify.rs b/compiler/rustc_mir_transform/src/simplify.rs
@@ -225,6 +225,7 @@ impl<'a, 'tcx> CfgSimplifier<'a, 'tcx> {
             current = target;
         }
         let last = current;
+        *changed |= *start != last;
         *start = last;
         while let Some((current, mut terminator)) = terminators.pop() {
             let Terminator { kind: TerminatorKind::Goto { ref mut target }, .. } = terminator

Original file line number	Diff line number	Diff line change
`@@ -225,6 +225,7 @@ impl<'a, 'tcx> CfgSimplifier<'a, 'tcx> {`
`225`	`225`	`current = target;`
`226`	`226`	`}`
`227`	`227`	`let last = current;`
	`228`	`+ changed \|= start != last;`
`228`	`229`	`*start = last;`
`229`	`230`	`while let Some((current, mut terminator)) = terminators.pop() {`
`230`	`231`	`let Terminator { kind: TerminatorKind::Goto { ref mut target }, .. } = terminator`