cgen: fix codegen for match with sumtype ptrptr (fix #23776) (#23785)

felipensp · web-flow · commit ffdc1ab7029f · 2025-02-23T01:00:14.000+02:00
diff --git a/vlib/v/gen/c/cgen.v b/vlib/v/gen/c/cgen.v
@@ -3904,6 +3904,9 @@ fn (mut g Gen) typeof_expr(node ast.TypeOf) {
 		// When encountering a .sum_type, typeof() should be done at runtime,
 		// because the subtype of the expression may change:
 		g.write('charptr_vstring_literal(v_typeof_sumtype_${sym.cname}( (')
+		if typ.nr_muls() > 0 {
+			g.write('*'.repeat(typ.nr_muls()))
+		}
 		g.expr(node.expr)
 		g.write(')._typ ))')
 	} else if sym.kind == .array_fixed {
diff --git a/vlib/v/gen/c/match.v b/vlib/v/gen/c/match.v
@@ -208,7 +208,14 @@ fn (mut g Gen) match_expr_sumtype(node ast.MatchExpr, is_expr bool, cond_var str
 					g.write_v_source_line_info(branch)
 					g.write('if (')
 				}
+				need_deref := node.cond_type.nr_muls() > 1
+				if need_deref {
+					g.write2('(', '*'.repeat(node.cond_type.nr_muls() - 1))
+				}
 				g.write(cond_var)
+				if need_deref {
+					g.write(')')
+				}
 				cur_expr := unsafe { &branch.exprs[sumtype_index] }
 				if cond_sym.kind == .sum_type {
 					g.write('${dot_or_ptr}_typ == ')
diff --git a/vlib/v/tests/sumtypes/sumtype_ptr_ptr_test.v b/vlib/v/tests/sumtypes/sumtype_ptr_ptr_test.v
@@ -0,0 +1,28 @@
+pub type Command = Assign | Call
+
+pub struct Assign {}
+
+pub struct Call {
+mut:
+	text string
+}
+
+fn test_main() {
+	mut command_arr_ptr := [&Command(Call{})]
+	mut command_arr_el_ptr := &command_arr_ptr[0] // type is && ?
+
+	match mut command_arr_el_ptr {
+		Call {
+			command_arr_el_ptr.text = 'foo'
+		}
+		Assign {}
+	}
+	if mut command_arr_el_ptr is Call {
+		assert command_arr_el_ptr.text == 'foo'
+	} else {
+		assert false
+	}
+
+	assert typeof(command_arr_el_ptr) == 'Call'
+	assert typeof(command_arr_ptr) == '[]&Command'
+}
