mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-07-08 18:40:23 +02:00
Code Activity

Add an assert to nofl's marking procedure

Browse source
This commit is contained in:
Andy Wingo 2025-07-07 16:37:50 +02:00
parent f58424ec52
commit ba880a03da
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/nofl-space.h
View file

@ -1630,6 +1630,8 @@ nofl_space_set_nonempty_mark(struct nofl_space *space, uint8_t *metadata,
uint8_t byte, struct gc_ref ref) { uint8_t byte, struct gc_ref ref) {
// FIXME: Check that relaxed atomics are actually worth it. // FIXME: Check that relaxed atomics are actually worth it.
if (nofl_space_set_mark(space, metadata, byte)) { if (nofl_space_set_mark(space, metadata, byte)) {
GC_ASSERT(nofl_metadata_byte_is_young_or_has_mark(byte,
space->survivor_mark));
nofl_block_set_mark(gc_ref_value(ref)); nofl_block_set_mark(gc_ref_value(ref));
return 1; return 1;
} }