diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-08 21:53:21 +0200 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2023-04-08 22:15:29 +0200 |
| commit | 3339f05cbbf26728073ae7723a38512849bc7b2e (patch) | |
| tree | 5c0e18ff46868b78f1f02be1ea518acd03a25df6 | |
| parent | d1e1db2a1820a109d846de707f3f5a930c547c7a (diff) | |
| download | ocaml-3339f05cbbf26728073ae7723a38512849bc7b2e.tar.gz | |
[minor] clarify the input type of major_gc.c:addr_map
| -rw-r--r-- | runtime/major_gc.c | 10 |
1 files 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++; } } |