Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix a bug in PR9742: in naked pointers mode, the code could 

dereference a pointer before checking it is not a naked pointer.

Algo fix a debug macro changed in PR9742 which could potentially
modify its parameter. It turns out this is not a bug, but the macro
was still particularly dangerous.
master
Jacques-Henri Jourdan 2020-10-24 22:08:06 +02:00
parent f449d9b298
commit 0f64cc87b0
2 changed files with 14 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Changes
View File

@ -145,9 +145,9 @@ OCaml 4.12.0
compaction algorithm and remove its dependence on the page table
(Damien Doligez, review by Jacques-Henri Jourdan and Xavier Leroy)
- #9742: Ephemerons are now compatible with infix pointers occurring
- #9742, #9989: Ephemerons are now compatible with infix pointers occurring
when using mutually recursive functions.
(Jacques-Henri Jourdan, review François Bobot)
(Jacques-Henri Jourdan, review by François Bobot)
* #1128, #7503, #9036, #9722: EINTR-based signal handling.
When a signal arrives, avoid running its OCaml handler in the middle

23
runtime/weak.c
View File

@ -47,13 +47,14 @@ value caml_ephe_none = (value) &ephe_dummy;
}while(0)
#ifdef DEBUG
#define CAMLassert_not_dead_value(v) do{ \
if (caml_gc_phase == Phase_clean \
&& Is_block(v) \
&& Is_in_heap (v)) { \
if (Tag_val (v) == Infix_tag) v -= Infix_offset_val (v); \
CAMLassert ( !Is_white_val(v) ); \
} \
#define CAMLassert_not_dead_value(v) do{ \
value __v = v; \
if (caml_gc_phase == Phase_clean \
&& Is_block(__v) \
&& Is_in_heap (__v)) { \
if (Tag_val (__v) == Infix_tag) __v -= Infix_offset_val (__v); \
CAMLassert ( !Is_white_val(__v) ); \
} \
}while(0)
#else
#define CAMLassert_not_dead_value(v)
@ -72,13 +73,13 @@ Caml_inline int Is_Dead_during_clean(value x)
{
CAMLassert (x != caml_ephe_none);
CAMLassert (caml_gc_phase == Phase_clean);
if (!Is_block(x)) return 0;
if (Tag_val(x) == Infix_tag) x -= Infix_offset_val(x);
#ifdef NO_NAKED_POINTERS
return Is_white_val(x) && !Is_young (x);
if (!Is_block(x) || Is_young (x)) return 0;
#else
return Is_white_val(x) && Is_in_heap (x);
if (!Is_block(x) || !Is_in_heap(x)) return 0;
#endif
if (Tag_val(x) == Infix_tag) x -= Infix_offset_val(x);
return Is_white_val(x);
}
/** The minor heap doesn't have to be marked, outside they should
already be black