diff options
| author | John Schmidt <john.schmidt.h@gmail.com> | 2022-04-03 14:07:13 +0200 |
|---|---|---|
| committer | John Schmidt <john.schmidt.h@gmail.com> | 2022-04-03 14:30:32 +0200 |
| commit | 6bbc2cd59af250ea164a4114e3d9fa15b27c2c8e (patch) | |
| tree | 13714a34d95b4e216337b6496b08aff3ef93770c | |
| parent | 174a889364d285e32534016f7425e8adaf9cab3c (diff) | |
| download | zig-6bbc2cd59af250ea164a4114e3d9fa15b27c2c8e.tar.gz zig-6bbc2cd59af250ea164a4114e3d9fa15b27c2c8e.zip | |
sema: add compile error for duplicate struct field
| -rw-r--r-- | src/Sema.zig | 16 | ||||
| -rw-r--r-- | test/compile_errors/stage2/struct_duplicate_field_name.zig | 15 |
2 files changed, 30 insertions, 1 deletions
diff --git a/src/Sema.zig b/src/Sema.zig index 8744548892..17a7a8eb1c 100644 --- a/src/Sema.zig +++ b/src/Sema.zig @@ -21945,7 +21945,21 @@ fn semaStructFields( } const gop = struct_obj.fields.getOrPutAssumeCapacity(field_name); - assert(!gop.found_existing); + if (gop.found_existing) { + const msg = msg: { + const tree = try sema.getAstTree(&block_scope); + const field_src = enumFieldSrcLoc(decl, tree.*, struct_obj.node_offset, field_i); + const msg = try sema.errMsg(&block_scope, field_src, "duplicate struct field: '{s}'", .{field_name}); + errdefer msg.destroy(gpa); + + const prev_field_index = struct_obj.fields.getIndex(field_name).?; + const prev_field_src = enumFieldSrcLoc(decl, tree.*, struct_obj.node_offset, prev_field_index); + try sema.mod.errNoteNonLazy(prev_field_src.toSrcLoc(decl), msg, "other field here", .{}); + try sema.errNote(&block_scope, src, msg, "struct declared here", .{}); + break :msg msg; + }; + return sema.failWithOwnedErrorMsg(&block_scope, msg); + } gop.value_ptr.* = .{ .ty = try field_ty.copy(decl_arena_allocator), .abi_align = 0, diff --git a/test/compile_errors/stage2/struct_duplicate_field_name.zig b/test/compile_errors/stage2/struct_duplicate_field_name.zig new file mode 100644 index 0000000000..274dce4e4a --- /dev/null +++ b/test/compile_errors/stage2/struct_duplicate_field_name.zig @@ -0,0 +1,15 @@ +const S = struct { + foo: u32, + foo: u32, +}; + +export fn entry() void { + const s: S = .{ .foo = 100 }; + _ = s; +} + +// duplicate struct field name +// +// :3:5: error: duplicate struct field: 'foo' +// :2:5: note: other field here +// :1:11: note: struct declared here |
