From 90e3ac78e9d0fd60bec7693de599a110aafad825 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 19 Dec 2023 17:25:09 +0100 Subject: [PATCH 1/3] Add latest two assertion issues --- README.md | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/README.md b/README.md index d871d7cfb..42ca752f0 100644 --- a/README.md +++ b/README.md @@ -380,6 +380,20 @@ property can be done in two different ways: Issues ====== +Assertion failures in `runtime/domain.c` on trunk (new, fixed, runtime) +----------------------------------------------------------------------- + +A PR merged to `trunk` [reintroduced off-by-one assertion errors in `caml_reset_young_limit`]( +https://github.com/ocaml/ocaml/pull/12824) + + +Assertion failure triggered in runtime/memprof.c (new, fixed, runtime) +---------------------------------------------------------------------- + +The `thread_joingraph` test triggered [an assertion boundary case in +`caml_memprof_renew_minor_sample` from `memprof.c`](https://github.com/ocaml/ocaml/pull/12817) + + Assertion boundary case in `caml_reset_young_limit` (new, fixed, runtime) ------------------------------------------------------------------------- From e7f711e142a2f31393c0304aa86b86682abf1261 Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 19 Dec 2023 17:27:07 +0100 Subject: [PATCH 2/3] Mark signal issue as fixed --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 42ca752f0..e238daf13 100644 --- a/README.md +++ b/README.md @@ -417,8 +417,8 @@ was not properly preserved on ppc64, sometimes resulting in [random `float` values appearing](https://github.com/ocaml/ocaml/pull/12546) -Signal-based overflow on ppc64 crash (new, codegen) ---------------------------------------------------- +Signal-based overflow on ppc64 crash (new, fixed, codegen) +---------------------------------------------------------- The sequential `STM` tests of `Array`, `Bytes`, and `Float.Array` would [trigger segfaults on ppc64](https://github.com/ocaml/ocaml/issues/12482) From 9bd5f199f54160b331b1dfb8e959b9748e23e37c Mon Sep 17 00:00:00 2001 From: Jan Midtgaard Date: Tue, 19 Dec 2023 17:27:34 +0100 Subject: [PATCH 3/3] Mark Sys.rename issue as fixed --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e238daf13..a3c3242d4 100644 --- a/README.md +++ b/README.md @@ -438,8 +438,8 @@ Negative `Lin` `Effect` tests exercising exceptions for unhandled `Effect`s also triggered [a crash on the newly restored s390x backend](https://github.com/ocaml/ocaml/issues/12486) -`Sys.rename` behaves differently on corner cases under MingW (new, stdlib) --------------------------------------------------------------------------- +`Sys.rename` behaves differently on corner cases under MingW (new, fixed, stdlib) +--------------------------------------------------------------------------------- Sequential `STM` tests targeting `Sys.rename` found [two corner cases where MingW behaves differently](https://github.com/ocaml/ocaml/issues/12073)