Module Name: src
Committed By: rillig
Date: Fri Jul 2 21:52:36 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: c99_init_array.c c99_init_array.exp
Log Message:
tests/lint: add test for array subscripts in C99 initialization
To generate a diff of this commit:
cvs rdiff -u -r1.1070 -r1.1071 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.72 -r1.73 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/c99_init_array.c \
src/tests/usr.bin/xlint/lint1/c99_init_array.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.1070 src/distrib/sets/lists/tests/mi:1.1071
--- src/distrib/sets/lists/tests/mi:1.1070 Tue Jun 29 21:33:08 2021
+++ src/distrib/sets/lists/tests/mi Fri Jul 2 21:52:36 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1070 2021/06/29 21:33:08 rillig Exp $
+# $NetBSD: mi,v 1.1071 2021/07/02 21:52:36 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6107,6 +6107,8 @@
./usr/tests/usr.bin/xlint/lint1/Kyuafile tests-usr.bin-tests compattestfile,atf,kyua
./usr/tests/usr.bin/xlint/lint1/c11_generic_expression.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/c11_generic_expression.exp tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/c99_init_array.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/c99_init_array.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/c99_init_designator.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/c99_init_designator.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_alignof.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.72 src/tests/usr.bin/xlint/lint1/Makefile:1.73
--- src/tests/usr.bin/xlint/lint1/Makefile:1.72 Tue Jun 29 21:33:09 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Fri Jul 2 21:52:36 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.72 2021/06/29 21:33:09 rillig Exp $
+# $NetBSD: Makefile,v 1.73 2021/07/02 21:52:36 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 345 # see lint1/err.c
@@ -12,6 +12,8 @@ TESTS_SH= t_integration
FILESDIR= ${TESTSDIR}
FILES+= c11_generic_expression.c
FILES+= c11_generic_expression.exp
+FILES+= c99_init_array.c
+FILES+= c99_init_array.exp
FILES+= c99_init_designator.c
FILES+= c99_init_designator.exp
FILES+= d_alignof.c
Added files:
Index: src/tests/usr.bin/xlint/lint1/c99_init_array.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/c99_init_array.c:1.1
--- /dev/null Fri Jul 2 21:52:36 2021
+++ src/tests/usr.bin/xlint/lint1/c99_init_array.c Fri Jul 2 21:52:36 2021
@@ -0,0 +1,19 @@
+/* $NetBSD: c99_init_array.c,v 1.1 2021/07/02 21:52:36 rillig Exp $ */
+# 3 "c99_init_array.c"
+
+/*
+ * Test C99-style initialization of arrays.
+ */
+
+/* lint1-extra-flags: -p */
+
+// The size of the array is determined by the maximum index, not by the last
+// one mentioned.
+int arr_11[] = { [10] = 10, [0] = 0 };
+typedef int ctassert_11[sizeof(arr_11) / sizeof(arr_11[0]) == 11 ? -1 : 1];
+/* TODO: expect-1: error: negative array dimension (-1) [20] */
+
+// Without an explicit subscript designator, the subscript counts up.
+int arr_3[] = { [1] = 1, [0] = 0, 1, 2 };
+typedef int ctassert_3[sizeof(arr_3) / sizeof(arr_3[0]) == 3 ? -1 : 1];
+/* expect-1: error: negative array dimension (-1) [20] */
Index: src/tests/usr.bin/xlint/lint1/c99_init_array.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/c99_init_array.exp:1.1
--- /dev/null Fri Jul 2 21:52:36 2021
+++ src/tests/usr.bin/xlint/lint1/c99_init_array.exp Fri Jul 2 21:52:36 2021
@@ -0,0 +1 @@
+c99_init_array.c(18): error: negative array dimension (-1) [20]
