diff options
| -rw-r--r-- | src/ir.cpp | 7 | ||||
| -rw-r--r-- | test/compile_errors.zig | 8 |
2 files changed, 15 insertions, 0 deletions
diff --git a/src/ir.cpp b/src/ir.cpp index 61e296c360..6a63597ed8 100644 --- a/src/ir.cpp +++ b/src/ir.cpp @@ -7053,6 +7053,13 @@ static IrInstruction *ir_analyze_widen_or_shorten(IrAnalyze *ira, IrInstruction ConstExprValue *val = ir_resolve_const(ira, target, UndefBad); if (!val) return ira->codegen->invalid_instruction; + if (val->data.x_bignum.is_negative && wanted_type->id == TypeTableEntryIdInt && + !wanted_type->data.integral.is_signed) + { + ir_add_error(ira, source_instr, + buf_sprintf("attempt to cast negative value to unsigned integer")); + return ira->codegen->invalid_instruction; + } IrInstruction *result = ir_create_const(&ira->new_irb, source_instr->scope, source_instr->source_node, wanted_type); result->value = *val; diff --git a/test/compile_errors.zig b/test/compile_errors.zig index 6cce0c89bd..b854ada34b 100644 --- a/test/compile_errors.zig +++ b/test/compile_errors.zig @@ -1801,4 +1801,12 @@ pub fn addCases(cases: &tests.CompileErrorContext) { \\} , ".tmp_source.zig:2:7: error: remainder division with 'i32' and 'i32': signed integers and floats must use @rem or @mod"); + + cases.add("cast negative value to unsigned integer", + \\comptime { + \\ const value: i32 = -1; + \\ const unsigned = u32(value); + \\} + , + ".tmp_source.zig:3:25: error: attempt to cast negative value to unsigned integer"); } |