diff options
author | Ivan Maidanski <ivmai@mail.ru> | 2023-04-08 15:42:27 +0300 |
---|---|---|
committer | Ivan Maidanski <ivmai@mail.ru> | 2023-04-09 10:55:49 +0300 |
commit | b21b53a356f332005db090c6a9a4e0d17322c935 (patch) | |
tree | 0572fe1dd38eb61c159951cb6ccaa2e28df7af15 /typd_mlc.c | |
parent | 2da23516ce16f603b716586dcb21db5b03784626 (diff) | |
download | bdwgc-b21b53a356f332005db090c6a9a4e0d17322c935.tar.gz |
Refine comparisons to GC_greatest_plausible_heap_addr
GC_greatest_plausible_heap_addr should always be greater (strictly)
than any address of a heap object.
* backgraph.c (add_back_edges): Check that pointer is strictly less
than GC_greatest_plausible_heap_addr (instead of less or equal).
* dbg_mlc.c [KEEP_BACK_PTRS && ALIGNMENT==1] (GC_get_back_ptr_info):
Likewise.
* include/gc/gc_mark.h (GC_MARK_AND_PUSH): Likewise.
* malloc.c (GC_malloc_kind_global): Likewise.
* typd_mlc.c (GC_typed_mark_proc): Likewise.
* include/gc/gc_mark.h (GC_greatest_plausible_heap_addr): Refine
comment (that any object address is strictly less).
* mark.c (GC_mark_from): Allow descr in assertions to be equal to
GC_greatest_plausible_heap_addr-GC_least_plausible_heap_addr; reformat
comment.
Diffstat (limited to 'typd_mlc.c')
-rw-r--r-- | typd_mlc.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -178,7 +178,7 @@ STATIC mse * GC_typed_mark_proc(word * addr, mse * mark_stack_ptr, LOAD_WORD_OR_CONTINUE(current, current_p); FIXUP_POINTER(current); - if (current >= (word)least_ha && current <= (word)greatest_ha) { + if (current >= (word)least_ha && current < (word)greatest_ha) { PUSH_CONTENTS((ptr_t)current, mark_stack_ptr, mark_stack_limit, current_p); } |