aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Schmidt <john.schmidt.h@gmail.com>2022-04-03 14:07:13 +0200
committerJohn Schmidt <john.schmidt.h@gmail.com>2022-04-03 14:30:32 +0200
commit6bbc2cd59af250ea164a4114e3d9fa15b27c2c8e (patch)
tree13714a34d95b4e216337b6496b08aff3ef93770c
parent174a889364d285e32534016f7425e8adaf9cab3c (diff)
downloadzig-6bbc2cd59af250ea164a4114e3d9fa15b27c2c8e.tar.gz
zig-6bbc2cd59af250ea164a4114e3d9fa15b27c2c8e.zip
sema: add compile error for duplicate struct field
-rw-r--r--src/Sema.zig16
-rw-r--r--test/compile_errors/stage2/struct_duplicate_field_name.zig15
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