gc_setmark should check if the object belongs to a image

gbaraldi · giordano · commit 0239e3332b55 · 2024-09-23T17:31:51.000+01:00
diff --git a/src/gc-stock.c b/src/gc-stock.c
@@ -305,6 +305,9 @@ STATIC_INLINE void gc_setmark_pool(jl_ptls_t ptls, jl_taggedvalue_t *o,
 STATIC_INLINE void gc_setmark(jl_ptls_t ptls, jl_taggedvalue_t *o,
                               uint8_t mark_mode, size_t sz) JL_NOTSAFEPOINT
 {
+    if (o->bits.in_image) {
+        return;
+    }
     if (sz <= GC_MAX_SZCLASS) {
         gc_setmark_pool(ptls, o, mark_mode);
     }

Original file line number	Diff line number	Diff line change
`@@ -305,6 +305,9 @@ STATIC_INLINE void gc_setmark_pool(jl_ptls_t ptls, jl_taggedvalue_t *o,`
`305`	`305`	`STATIC_INLINE void gc_setmark(jl_ptls_t ptls, jl_taggedvalue_t *o,`
`306`	`306`	`uint8_t mark_mode, size_t sz) JL_NOTSAFEPOINT`
`307`	`307`	`{`
	`308`	`+ if (o->bits.in_image) {`
	`309`	`+ return;`
	`310`	`+ }`
`308`	`311`	`if (sz <= GC_MAX_SZCLASS) {`
`309`	`312`	`gc_setmark_pool(ptls, o, mark_mode);`
`310`	`313`	`}`