diff options
| author | Pierre-Marie Pédrot | 2020-11-19 16:34:54 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-11-19 16:34:54 +0100 |
| commit | 3037172c80190b74b2c0f3017420cc871e74c996 (patch) | |
| tree | 830f06071a1fc4fd3afaf2c8588645c6d55fb7b8 /kernel/byterun/coq_memory.c | |
| parent | 01dea073194bf788414af549cc2753917540e964 (diff) | |
| parent | 9815b5947a5c02ba9189a447f5b58d5bb81e4f93 (diff) | |
Merge PR #12959: Improve the bytecode interpreter
Ack-by: ppedrot
Reviewed-by: proux01
Diffstat (limited to 'kernel/byterun/coq_memory.c')
| -rw-r--r-- | kernel/byterun/coq_memory.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/kernel/byterun/coq_memory.c b/kernel/byterun/coq_memory.c index ae5251c252..fe076f8f04 100644 --- a/kernel/byterun/coq_memory.c +++ b/kernel/byterun/coq_memory.c @@ -65,9 +65,10 @@ static void coq_scan_roots(scanning_action action) register value * i; /* 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_block(*i) && !Is_in_heap_or_young(*i)) continue; + if (!Is_in_heap_or_young(*i)) continue; #endif (*action) (*i, i); }; |