[Guile-commits] 364/423: nofl: Disable some consistency checks when tracing conservatively

[Andy Wingo]

wingo pushed a commit to branch wip-whippet
in repository guile.

commit 2a51399896f5237b38bfdd75218ce7888b061a04
Author: Andy Wingo <wi...@igalia.com>
AuthorDate: Tue Jan 21 21:09:03 2025 +0100

    nofl: Disable some consistency checks when tracing conservatively
---
 src/nofl-space.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/nofl-space.h b/src/nofl-space.h
index 05759a033..a7ee4881b 100644
--- a/src/nofl-space.h
+++ b/src/nofl-space.h
@@ -1222,6 +1222,10 @@ static void
 nofl_space_verify_sweepable_blocks(struct nofl_space *space,
                                    struct nofl_block_list *list)
 {
+  if (GC_CONSERVATIVE_TRACE)
+    // No intrinsic way to measure object size, only the extrinsic
+    // metadata bytes.
+    return;
   for (struct nofl_block_ref b = nofl_block_for_addr(list->blocks);
        !nofl_block_is_null(b);
        b = nofl_block_next(b)) {
@@ -1254,6 +1258,10 @@ nofl_space_verify_sweepable_blocks(struct nofl_space 
*space,
 static void
 nofl_space_verify_swept_blocks(struct nofl_space *space,
                                struct nofl_block_list *list) {
+  if (GC_CONSERVATIVE_TRACE)
+    // No intrinsic way to measure object size, only the extrinsic
+    // metadata bytes.
+    return;
   for (struct nofl_block_ref b = nofl_block_for_addr(list->blocks);
        !nofl_block_is_null(b);
        b = nofl_block_next(b)) {