Module Name: src
Committed By: rillig
Date: Mon Dec 20 19:48:05 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile
Added Files:
src/tests/usr.bin/xlint/lint1: init_braces.c init_braces.exp
Log Message:
tests/lint: test excess braces around initializers
To generate a diff of this commit:
cvs rdiff -u -r1.1178 -r1.1179 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.116 -r1.117 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/init_braces.c \
src/tests/usr.bin/xlint/lint1/init_braces.exp
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/distrib/sets/lists/tests/mi
diff -u src/distrib/sets/lists/tests/mi:1.1178 src/distrib/sets/lists/tests/mi:1.1179
--- src/distrib/sets/lists/tests/mi:1.1178 Tue Dec 14 00:02:57 2021
+++ src/distrib/sets/lists/tests/mi Mon Dec 20 19:48:05 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1178 2021/12/14 00:02:57 rillig Exp $
+# $NetBSD: mi,v 1.1179 2021/12/20 19:48:05 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6490,6 +6490,8 @@
./usr/tests/usr.bin/xlint/lint1/gcc_typeof_after_statement.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/init.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/init.exp tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/init_braces.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/init_braces.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/init_c90.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/init_c90.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/lex_char.c tests-usr.bin-tests compattestfile,atf
Index: src/tests/usr.bin/xlint/lint1/Makefile
diff -u src/tests/usr.bin/xlint/lint1/Makefile:1.116 src/tests/usr.bin/xlint/lint1/Makefile:1.117
--- src/tests/usr.bin/xlint/lint1/Makefile:1.116 Thu Dec 16 11:00:15 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Mon Dec 20 19:48:05 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.116 2021/12/16 11:00:15 rillig Exp $
+# $NetBSD: Makefile,v 1.117 2021/12/20 19:48:05 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 348 # see lint1/err.c
@@ -191,6 +191,8 @@ FILES+= gcc_typeof_after_statement.c
FILES+= gcc_typeof_after_statement.exp
FILES+= init.c
FILES+= init.exp
+FILES+= init_braces.c
+FILES+= init_braces.exp
FILES+= init_c90.c
FILES+= init_c90.exp
FILES+= lex_char.c
Added files:
Index: src/tests/usr.bin/xlint/lint1/init_braces.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/init_braces.c:1.1
--- /dev/null Mon Dec 20 19:48:06 2021
+++ src/tests/usr.bin/xlint/lint1/init_braces.c Mon Dec 20 19:48:05 2021
@@ -0,0 +1,63 @@
+/* $NetBSD: init_braces.c,v 1.1 2021/12/20 19:48:05 rillig Exp $ */
+# 3 "init_braces.c"
+
+/*
+ * Test initialization with excess braces around expressions.
+ *
+ * See also:
+ * C99 6.7.8
+ * C11 6.7.9
+ */
+
+void
+init_int(void)
+{
+ /* gcc-expect+2: error: invalid initializer */
+ /* clang-expect+1: error: array initializer must be an initializer list */
+ /* expect+2: error: {}-enclosed initializer required [181] */
+ /* expect+1: error: empty array declaration: num0 [190] */
+ int num0[] = 0;
+ int num1[] = { 1 };
+ /* gcc-expect+2: warning: braces around scalar initializer */
+ /* clang-expect+1: warning: braces around scalar initializer */
+ int num2[] = {{ 1 }};
+ /* gcc-expect+3: warning: braces around scalar initializer */
+ /* gcc-expect+2: warning: braces around scalar initializer */
+ /* clang-expect+1: warning: too many braces around scalar initializer */
+ int num3[] = {{{ 1 }}};
+ /* gcc-expect+5: warning: braces around scalar initializer */
+ /* gcc-expect+4: warning: braces around scalar initializer */
+ /* gcc-expect+3: warning: braces around scalar initializer */
+ /* clang-expect+2: warning: too many braces around scalar initializer */
+ /* clang-expect+1: warning: too many braces around scalar initializer */
+ int num4[] = {{{{ 1 }}}};
+}
+
+void
+init_string(void)
+{
+ char name0[] = "";
+ char name1[] = { "" };
+ /* gcc-expect+5: warning: braces around scalar initializer */
+ /* gcc-expect+4: warning: initialization of 'char' from 'char *' makes integer from pointer without a cast */
+ /* clang-expect+3: warning: incompatible pointer to integer conversion initializing 'char' with an expression of type 'char [1]' */
+ /* clang-expect+2: warning: braces around scalar initializer */
+ /* expect+1: warning: illegal combination of integer (char) and pointer (pointer to char) [183] */
+ char name2[] = {{ "" }};
+ /* gcc-expect+6: warning: braces around scalar initializer */
+ /* gcc-expect+5: warning: braces around scalar initializer */
+ /* gcc-expect+4: warning: initialization of 'char' from 'char *' makes integer from pointer without a cast */
+ /* clang-expect+3: warning: too many braces around scalar initializer */
+ /* clang-expect+2: warning: incompatible pointer to integer conversion initializing 'char' with an expression of type 'char [1]' */
+ /* expect+1: warning: illegal combination of integer (char) and pointer (pointer to char) [183] */
+ char name3[] = {{{ "" }}};
+ /* gcc-expect+8: warning: braces around scalar initializer */
+ /* gcc-expect+7: warning: braces around scalar initializer */
+ /* gcc-expect+6: warning: braces around scalar initializer */
+ /* gcc-expect+5: warning: initialization of 'char' from 'char *' makes integer from pointer without a cast */
+ /* clang-expect+4: warning: too many braces around scalar initializer */
+ /* clang-expect+3: warning: too many braces around scalar initializer */
+ /* clang-expect+2: warning: incompatible pointer to integer conversion initializing 'char' with an expression of type 'char [1]' */
+ /* expect+1: warning: illegal combination of integer (char) and pointer (pointer to char) [183] */
+ char name4[] = {{{{ "" }}}};
+}
Index: src/tests/usr.bin/xlint/lint1/init_braces.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/init_braces.exp:1.1
--- /dev/null Mon Dec 20 19:48:06 2021
+++ src/tests/usr.bin/xlint/lint1/init_braces.exp Mon Dec 20 19:48:05 2021
@@ -0,0 +1,5 @@
+init_braces.c(19): error: {}-enclosed initializer required [181]
+init_braces.c(19): error: empty array declaration: num0 [190]
+init_braces.c(46): warning: illegal combination of integer (char) and pointer (pointer to char) [183]
+init_braces.c(53): warning: illegal combination of integer (char) and pointer (pointer to char) [183]
+init_braces.c(62): warning: illegal combination of integer (char) and pointer (pointer to char) [183]