flambda-backend: Fix missing End_region primitives on switch arms (#898)

ocaml-flambda · Oct 19, 2022 · 5a977e4 · 5a977e4
1 parent 7fa7f9d
commit 5a977e4
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/testsuite/tests/typing-local/regions.ml b/testsuite/tests/typing-local/regions.ml
@@ -114,6 +114,13 @@ let () = check_empty "toplevel rec binding"
  ());;
 let () = check_empty "toplevel eval"
 
+let () =
+  let f x b g =
+    let local_ p = x, x in
+    if b then () else (g p; ())
+  in f 0 true (fun _ -> ())
+let () = check_empty "constant switch arm"
+
 module type T = sig val x : int end
 let _ =
   let module M : T =

diff --git a/testsuite/tests/typing-local/regions.reference b/testsuite/tests/typing-local/regions.reference
@@ -13,6 +13,7 @@
          toplevel binding: OK
      toplevel rec binding: OK
             toplevel eval: OK
+      constant switch arm: OK
           first class mod: OK
        class d definition: OK
         class definitions: OK