Use Strict bindings when simplifying Lstaticraise (#8559)

Alias bindings were used before, but as #8558 shows this can be incorrect,
as the argument to `Lstaticraise` may be impure.

Adds a regression test.

Closes: #8558

1 files changed, 9 insertions, 0 deletions

diff --git a/testsuite/tests/basic/localfunction.ml b/testsuite/tests/basic/localfunction.ml
index 31a757e052..6ea7b5d76a 100755
--- a/testsuite/tests/basic/localfunction.ml
+++ b/testsuite/tests/basic/localfunction.ml
@@ -21,3 +21,12 @@ let () =
   Printf.printf "%i\n%!" !r;
   assert(x1 -. x0 = x2 -. x1)
      (* check that we did not allocated anything between x1 and x2 *)
+
+
+let () =
+  (* #8558 *)
+  let f () = () in
+  let r = ref 0 in
+  let g () = f (incr r) in
+  g ();
+  assert (!r = 1)