From cfcbc967a11fc534e2d9df8e2ca47a5ff305b0b6 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Sat, 13 Mar 2021 17:57:55 +0100
Subject: 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.
---
 kernel/byterun/coq_memory.c | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'kernel/byterun/coq_memory.c')

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 */
-- 
cgit v1.2.3