[ocaml5-issue] segfault in 32-bit mode during neg_tests/lin_tests_domain.ml

[jmid]

The merge to main of #438 crashed with a segfault on trunk in 32-bit mode: https://github.com/ocaml-multicore/multicoretests/actions/runs/8156987450/job/22295610813

random seed: 86271143
generated error  fail  pass / total     time test name

[ ]     0     0     0     0 / 10000     0.0s Lin ref int test with Domain
[ ]     0     0     0     0 / 10000     0.0s Lin ref int test with Domain (generating)
[✓]     1     0     1     0 / 10000     3.7s Lin ref int test with Domain

[ ]     0     0     0     0 / 10000     0.0s Lin ref int64 test with Domain
[✓]     1     0     1     0 / 10000     1.0s Lin ref int64 test with Domain

[ ]     0     0     0     0 / 10000     0.0s Lin CList int test with Domain
[✓]     3     0     1     2 / 10000     5.0s Lin CList int test with Domain

[ ]     0     0     0     0 / 10000     0.0s Lin CList int64 test with Domain
[✓]     3     0     1     2 / 10000     1.8s Lin CList int64 test with Domain

--- Info -----------------------------------------------------------------------

Negative test Lin ref int test with Domain failed as expected (17 shrink steps):

                            |            
                            |            
                 .---------------------.
                 |                     |            
          Sut_int.decr t        Sut_int.set t 1     
                                 Sut_int.get t      


+++ Messages ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

Messages for test Lin ref int test with Domain:

File "src/neg_tests/dune", line 73, characters 7-23:
73 |  (name lin_tests_domain)
            ^^^^^^^^^^^^^^^^
(cd _build/default/src/neg_tests && ./lin_tests_domain.exe --verbose)
Command got signal SEGV.