From 3339f05cbbf26728073ae7723a38512849bc7b2e Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Sat, 8 Apr 2023 21:53:21 +0200 Subject: [minor] clarify the input type of major_gc.c:addr_map --- runtime/major_gc.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/runtime/major_gc.c b/runtime/major_gc.c index 3ed9bba0a8..52506c86c1 100644 --- a/runtime/major_gc.c +++ b/runtime/major_gc.c @@ -1756,9 +1756,9 @@ void caml_finish_sweeping (void) CAML_EV_END(EV_MAJOR_FINISH_SWEEPING); } -Caml_inline int add_addr(struct addrmap* amap, value v) { - uintnat k = PTR_TO_PAGE(v); - uintnat flag = (uintnat)1 << PTR_TO_PAGE_OFFSET(v); +Caml_inline int add_addr(struct addrmap* amap, value* ptr) { + uintnat k = PTR_TO_PAGE(ptr); + uintnat flag = (uintnat)1 << PTR_TO_PAGE_OFFSET(ptr); int new_entry = 0; value* amap_pos = caml_addrmap_insert_pos(amap, k); @@ -1768,7 +1768,7 @@ Caml_inline int add_addr(struct addrmap* amap, value v) { *amap_pos = 0; } - CAMLassert(v == (value)((k + PTR_TO_PAGE_OFFSET(v))*sizeof(value))); + CAMLassert(ptr == (value*)((k + PTR_TO_PAGE_OFFSET(ptr))*sizeof(value))); if (!(*amap_pos & flag)) { *amap_pos |= flag; @@ -1813,7 +1813,7 @@ static void mark_stack_prune(struct mark_stack* stk) } else { while(me.start < me.end) { compressed_entries += add_addr(&stk->compressed_stack, - (uintnat)me.start); + me.start); me.start++; } } -- cgit v1.2.1