diff options
| author | Guillaume Melquiond | 2021-03-13 17:57:55 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-03-13 23:02:59 +0100 |
| commit | cfcbc967a11fc534e2d9df8e2ca47a5ff305b0b6 (patch) | |
| tree | ce8f1e77f2787c9e7fbe1b0aa89be9f7d3ff7ed0 /kernel/byterun/coq_memory.c | |
| parent | 50654a3c660b9e39f7e9d2426b0b53afc48138c5 (diff) | |
Set the lsb of return addresses on the bytecode interpreter stack.
This makes it possible to skip the check when scanning the stack for the
garbage collector.
Diffstat (limited to 'kernel/byterun/coq_memory.c')
| -rw-r--r-- | kernel/byterun/coq_memory.c | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/kernel/byterun/coq_memory.c b/kernel/byterun/coq_memory.c index a55ff57c8d..f404cb2b1c 100644 --- a/kernel/byterun/coq_memory.c +++ b/kernel/byterun/coq_memory.c @@ -66,10 +66,6 @@ static void coq_scan_roots(scanning_action action) /* Scan the stack */ for (i = coq_sp; i < coq_stack_high; i++) { if (!Is_block(*i)) continue; -#ifdef NO_NAKED_POINTERS - /* The VM stack may contain C-allocated bytecode */ - if (!Is_in_heap_or_young(*i)) continue; -#endif (*action) (*i, i); }; /* Hook */ |