Skip to content

Commit 5d94b52

Browse files
authored
Merge pull request #426 from ocaml-multicore/add-assertion-issues
Add the latest assertion issues
2 parents 3c423ab + 9bd5f19 commit 5d94b52

File tree

1 file changed

+18
-4
lines changed

1 file changed

+18
-4
lines changed

README.md

Lines changed: 18 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -380,6 +380,20 @@ property can be done in two different ways:
380380
Issues
381381
======
382382

383+
Assertion failures in `runtime/domain.c` on trunk (new, fixed, runtime)
384+
-----------------------------------------------------------------------
385+
386+
A PR merged to `trunk` [reintroduced off-by-one assertion errors in `caml_reset_young_limit`](
387+
https://github.com/ocaml/ocaml/pull/12824)
388+
389+
390+
Assertion failure triggered in runtime/memprof.c (new, fixed, runtime)
391+
----------------------------------------------------------------------
392+
393+
The `thread_joingraph` test triggered [an assertion boundary case in
394+
`caml_memprof_renew_minor_sample` from `memprof.c`](https://github.com/ocaml/ocaml/pull/12817)
395+
396+
383397
Assertion boundary case in `caml_reset_young_limit` (new, fixed, runtime)
384398
-------------------------------------------------------------------------
385399

@@ -403,8 +417,8 @@ was not properly preserved on ppc64, sometimes resulting in
403417
[random `float` values appearing](https://github.com/ocaml/ocaml/pull/12546)
404418

405419

406-
Signal-based overflow on ppc64 crash (new, codegen)
407-
---------------------------------------------------
420+
Signal-based overflow on ppc64 crash (new, fixed, codegen)
421+
----------------------------------------------------------
408422

409423
The sequential `STM` tests of `Array`, `Bytes`, and `Float.Array`
410424
would [trigger segfaults on ppc64](https://github.com/ocaml/ocaml/issues/12482)
@@ -424,8 +438,8 @@ Negative `Lin` `Effect` tests exercising exceptions for unhandled
424438
`Effect`s also triggered [a crash on the newly restored s390x backend](https://github.com/ocaml/ocaml/issues/12486)
425439

426440

427-
`Sys.rename` behaves differently on corner cases under MingW (new, stdlib)
428-
--------------------------------------------------------------------------
441+
`Sys.rename` behaves differently on corner cases under MingW (new, fixed, stdlib)
442+
---------------------------------------------------------------------------------
429443

430444
Sequential `STM` tests targeting `Sys.rename` found [two corner cases
431445
where MingW behaves differently](https://github.com/ocaml/ocaml/issues/12073)

0 commit comments

Comments
 (0)