Fix check_multi_expr_with_type_hint to use return rather than break

This commit is contained in:
gingerBill
2026-05-08 14:34:44 +01:00
parent e70f846de0
commit daa6bb1aee

View File

@@ -1140,6 +1140,11 @@ gb_internal void check_assignment(CheckerContext *c, Operand *operand, Type *typ
return;
}
if (operand->mode == Addressing_Type && is_type_typeid(type)) {
add_type_info_type(c, operand->type);
add_type_and_value(c, operand->expr, Addressing_Value, type, exact_value_typeid(operand->type));
return;
}
if (is_type_untyped(operand->type)) {
Type *target_type = type;
@@ -9122,9 +9127,11 @@ gb_internal bool check_is_operand_compound_lit_constant(CheckerContext *c, Opera
if (is_type_any(field_type)) {
return false;
}
if (field_type != nullptr && is_type_typeid(field_type) && o->mode == Addressing_Type) {
add_type_info_type(c, o->type);
return true;
if (field_type != nullptr && is_type_typeid(field_type)) {
if (o->mode == Addressing_Type) {
add_type_info_type(c, o->type);
return true;
}
}
Ast *expr = unparen_expr(o->expr);
@@ -10584,6 +10591,7 @@ gb_internal ExprKind check_compound_literal(CheckerContext *c, Operand *o, Ast *
}
i64 max = 0;
Type *bet = base_type(elem_type);
@@ -12483,7 +12491,7 @@ gb_internal void check_multi_expr_with_type_hint(CheckerContext *c, Operand *o,
case Addressing_Type:
if (type_hint != nullptr && is_type_typeid(type_hint)) {
add_type_info_type(c, o->type);
break;
return;
}
error_operand_not_expression(o);
break;