Compiler: fix invariant

hhugo · hhugo · commit c09c6413e810 · 2025-05-21T12:54:25.000+02:00
diff --git a/compiler/lib/inline.ml b/compiler/lib/inline.ml
@@ -659,5 +659,6 @@ let f ~profile p live_vars =
   if stats () then Format.eprintf "Stats - inlining: %d inlined functions@." !inline_count;
   if debug_stats ()
   then Code.check_updates ~name:"inline" previous_p p ~updates:!inline_count;
+  let p = Deadcode.remove_unused_blocks p in
   Code.invariant p;
   p

Original file line number	Diff line number	Diff line change
`@@ -659,5 +659,6 @@ let f ~profile p live_vars =`
`659`	`659`	`if stats () then Format.eprintf "Stats - inlining: %d inlined functions@." !inline_count;`
`660`	`660`	`if debug_stats ()`
`661`	`661`	`then Code.check_updates ~name:"inline" previous_p p ~updates:!inline_count;`
	`662`	`+ let p = Deadcode.remove_unused_blocks p in`
`662`	`663`	`Code.invariant p;`
`663`	`664`	`p`