From 85929b2350f01a2a4c1110b43cf02e6da07cfb89 Mon Sep 17 00:00:00 2001
From: Gabriel Scherer <gabriel.scherer@gmail.com>
Date: Sat, 1 Apr 2023 16:00:28 +0200
Subject: caml_update_dummy: do not try to update size-0 atoms

fixes #12153

Suggested-by: Xavier Leroy <xavier.leroy@college-de-france.fr>
Suggested-by: Vincent Laviron <vincent.laviron@gmail.com>
Reported-by: Nick Roberts <nroberts@janestreet.com>
---
 .../pr12153_miscompilation_of_recursive_atoms.ml              | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 testsuite/tests/letrec-compilation/pr12153_miscompilation_of_recursive_atoms.ml

(limited to 'testsuite')

diff --git a/testsuite/tests/letrec-compilation/pr12153_miscompilation_of_recursive_atoms.ml b/testsuite/tests/letrec-compilation/pr12153_miscompilation_of_recursive_atoms.ml
new file mode 100644
index 0000000000..10ca5d6ea4
--- /dev/null
+++ b/testsuite/tests/letrec-compilation/pr12153_miscompilation_of_recursive_atoms.ml
@@ -0,0 +1,11 @@
+(* TEST *)
+
+let rec empty_int_array : int array =
+  let _ = empty_int_array in [||]
+
+let rec empty_float_array : float array =
+  let _ = empty_float_array in [||]
+
+module type Empty = sig end
+let rec empty_mod : (module Empty) =
+  let _ = empty_mod in (module struct end)
-- 
cgit v1.2.1