[backports-release-1.11] Don't forget to decay value on struct initialization (#59511)

gbaraldi · web-flow · commit 8230e8bbf5c2 · 2025-09-09T16:08:28.000-04:00
Fixes #59510
diff --git a/src/cgutils.cpp b/src/cgutils.cpp
@@ -2995,6 +2995,7 @@ static void init_bits_value(jl_codectx_t &ctx, Value *newv, Value *v, MDNode *tb
 static void init_bits_cgval(jl_codectx_t &ctx, Value *newv, const jl_cgval_t& v, MDNode *tbaa)
 {
     // newv should already be tagged
+    newv = maybe_decay_tracked(ctx, newv);
     if (v.ispointer()) {
         unsigned align = std::max(julia_alignment(v.typ), (unsigned)sizeof(void*));
         emit_memcpy(ctx, newv, jl_aliasinfo_t::fromTBAA(ctx, tbaa), v, jl_datatype_size(v.typ), Align(align), Align(julia_alignment(v.typ)));

Original file line number	Diff line number	Diff line change
`@@ -2995,6 +2995,7 @@ static void init_bits_value(jl_codectx_t &ctx, Value newv, Value v, MDNode *tb`
`2995`	`2995`	`static void init_bits_cgval(jl_codectx_t &ctx, Value newv, const jl_cgval_t& v, MDNode tbaa)`
`2996`	`2996`	`{`
`2997`	`2997`	`// newv should already be tagged`
	`2998`	`+ newv = maybe_decay_tracked(ctx, newv);`
`2998`	`2999`	`if (v.ispointer()) {`
`2999`	`3000`	`unsigned align = std::max(julia_alignment(v.typ), (unsigned)sizeof(void*));`
`3000`	`3001`	`emit_memcpy(ctx, newv, jl_aliasinfo_t::fromTBAA(ctx, tbaa), v, jl_datatype_size(v.typ), Align(align), Align(julia_alignment(v.typ)));`