ed/Odin
1
0
Fork 0
mirror of https://github.com/Ed94/Odin.git synced 2026-08-06 15:48:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix #5778

Browse Source
This commit is contained in:
gingerBill
2025-10-10 14:31:41 +01:00
parent 0a3db1304d
commit 7e64dedb77
1 changed files with 16 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/check_expr.cpp
+14 -7
View File
@@ -3523,20 +3523,27 @@ gb_internal bool check_cast_internal(CheckerContext *c, Operand *x, Type *type)
Type *bt = base_type(type); Type *bt = base_type(type);
if (is_const_expr && is_type_constant_type(bt)) { if (is_const_expr && is_type_constant_type(bt)) {
Type *elem = core_array_type(bt);
if (core_type(bt)->kind == Type_Basic) { if (core_type(bt)->kind == Type_Basic) {
if (check_representable_as_constant(c, x->value, bt, &x->value)) { if (check_representable_as_constant(c, x->value, bt, &x->value)) {
return true; return true;
} else if (check_is_castable_to(c, x, type)) { }
if (is_type_pointer(type)) { goto check_castable;
} else if (!are_types_identical(elem, bt) &&
elem->kind == Type_Basic &&
check_representable_as_constant(c, x->value, elem, &x->value)) {
if (check_representable_as_constant(c, x->value, bt, &x->value)) {
return true; return true;
} }
goto check_castable;
} }
} else if (check_is_castable_to(c, x, type)) {
x->value = {}; return false;
x->mode = Addressing_Value;
return true;
} }
} else if (check_is_castable_to(c, x, type)) {
check_castable:
if (check_is_castable_to(c, x, type)) {
if (x->mode != Addressing_Constant) { if (x->mode != Addressing_Constant) {
x->mode = Addressing_Value; x->mode = Addressing_Value;
} else if (is_type_slice(type) && is_type_string(x->type)) { } else if (is_type_slice(type) && is_type_string(x->type)) {