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, +};