Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Assertion failed in gc_ctrl.c #7831
Original bug ID: 7831
Another problem while running the testsuite with the debug runtime inside a docker container, now on Linux x64:
... testing 'weaklifetime.ml' with 1 (native) => passed
file gc_ctrl.c; line 71 ### Assertion failed: Color_hd (Hd_val (v)) != Caml_blue
Unfortunately, it does not happen always, restarted build may succeed, but no other test case seems to be failing on my x64 setup.
Comment author: db
One more debug assertion of this kind, now with Linux i386/flambda:
Running tests from 'tests/lib-bigarray' ...
file gc_ctrl.c; line 165 ### Assertion failed: prev_hp == NULL || Color_hp (prev_hp) != Caml_blue || cur_hp == (header_t *) caml_gc_sweep_hp
I'm a little bit nervous about that. Of course, one could blame faulty hardware etc., but I never had any issues with it. Probably it's worth trying older OCaml releases?
Comment author: @xavierleroy
Thanks for the reports.
I'm surprised we haven't run into these issues earlier, because one of our CI infrastructures runs the test suite with the debug runtime (see tools/ci/travis/travis-ci.sh in the OCaml source tree). Probably we need to strengthen our CI.
There can be a real bug, or the assertions can be wrong or outdated. That will be for our GC experts to find.