Module Name: src
Committed By: rillig
Date: Mon Mar 29 22:42:10 UTC 2021
Modified Files:
src/tests/usr.bin/xlint/lint1: d_c99_init.c
Log Message:
tests/lint: demonstrate assertion failures for union initialization
To generate a diff of this commit:
cvs rdiff -u -r1.22 -r1.23 src/tests/usr.bin/xlint/lint1/d_c99_init.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/tests/usr.bin/xlint/lint1/d_c99_init.c
diff -u src/tests/usr.bin/xlint/lint1/d_c99_init.c:1.22 src/tests/usr.bin/xlint/lint1/d_c99_init.c:1.23
--- src/tests/usr.bin/xlint/lint1/d_c99_init.c:1.22 Mon Mar 29 22:36:31 2021
+++ src/tests/usr.bin/xlint/lint1/d_c99_init.c Mon Mar 29 22:42:10 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: d_c99_init.c,v 1.22 2021/03/29 22:36:31 rillig Exp $ */
+/* $NetBSD: d_c99_init.c,v 1.23 2021/03/29 22:42:10 rillig Exp $ */
# 3 "d_c99_init.c"
/*
@@ -347,3 +347,20 @@ struct point unknown_member_name_end = {
.y = 3,
.r = 5, /* expect: undefined struct/union member: r */
};
+
+union value {
+ int int_value;
+ void *pointer_value;
+};
+
+union value unknown_union_member_name_first = {
+ // FIXME: assertion "bl->bl_type != NULL" failed in initialization_push
+ // .unknown_value = 4,
+ .int_value = 3,
+};
+
+union value unknown_union_member_name_second = {
+ .int_value = 3,
+ // FIXME: assertion "bl->bl_type->t_tspec == ARRAY" failed in brace_level_extend_if_array_of_unknown_size
+ // .unknown_value = 4,
+};