diff options
| author | InKryption <inkryption07@gmail.com> | 2022-09-20 21:40:16 +0200 |
|---|---|---|
| committer | Veikka Tuominen <git@vexu.eu> | 2022-09-27 18:38:37 +0300 |
| commit | c75e8f3616d895d213faad5ad2678d3997f17d8a (patch) | |
| tree | e74ecd06d1967eb671527a7cdea508cc3a22d29e /src | |
| parent | c673e6a48a0adee0385767a431cee815f45df160 (diff) | |
| download | zig-c75e8f3616d895d213faad5ad2678d3997f17d8a.tar.gz zig-c75e8f3616d895d213faad5ad2678d3997f17d8a.zip | |
Sema: check that reified enum field values fits tag type.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Sema.zig | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/Sema.zig b/src/Sema.zig index 11cb409634..0aecf59d8e 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -17092,7 +17092,7 @@ fn zirReify(sema: *Sema, block: *Block, extended: Zir.Inst.Extended.InstData, in try sema.reifyStruct(block, inst, src, layout, backing_int_val, fields_val, name_strategy); }, .Enum => { - const struct_val = union_val.val.castTag(.aggregate).?.data; + const struct_val: []const Value = union_val.val.castTag(.aggregate).?.data; // TODO use reflection instead of magic numbers here // layout: ContainerLayout, const layout_val = struct_val[0]; @@ -17176,7 +17176,7 @@ fn zirReify(sema: *Sema, block: *Block, extended: Zir.Inst.Extended.InstData, in var i: usize = 0; while (i < fields_len) : (i += 1) { const elem_val = try fields_val.elemValue(sema.mod, sema.arena, i); - const field_struct_val = elem_val.castTag(.aggregate).?.data; + const field_struct_val: []const Value = elem_val.castTag(.aggregate).?.data; // TODO use reflection instead of magic numbers here // name: []const u8 const name_val = field_struct_val[0]; @@ -17189,6 +17189,15 @@ fn zirReify(sema: *Sema, block: *Block, extended: Zir.Inst.Extended.InstData, in sema.mod, ); + if (!try sema.intFitsInType(block, src, value_val, enum_obj.tag_ty, null)) { + // TODO: better source location + return sema.fail(block, src, "field '{s}' with enumeration value '{}' is too large for backing int type '{}'", .{ + field_name, + value_val.fmtValue(Type.@"comptime_int", mod), + enum_obj.tag_ty.fmt(mod), + }); + } + const gop = enum_obj.fields.getOrPutAssumeCapacity(field_name); if (gop.found_existing) { // TODO: better source location |