Module Name: src
Committed By: rillig
Date: Sun Jul 25 22:03:43 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile decl.c decl.exp
parse_init_declarator.c parse_type_name.c
Added Files:
src/tests/usr.bin/xlint/lint1: c90.c c90.exp
Log Message:
tests/lint: cover every code line in the grammar
To generate a diff of this commit:
cvs rdiff -u -r1.1095 -r1.1096 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.96 -r1.97 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/c90.c \
src/tests/usr.bin/xlint/lint1/c90.exp
cvs rdiff -u -r1.11 -r1.12 src/tests/usr.bin/xlint/lint1/decl.c
cvs rdiff -u -r1.7 -r1.8 src/tests/usr.bin/xlint/lint1/decl.exp
cvs rdiff -u -r1.2 -r1.3 \
src/tests/usr.bin/xlint/lint1/parse_init_declarator.c
cvs rdiff -u -r1.6 -r1.7 src/tests/usr.bin/xlint/lint1/parse_type_name.c
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.1095 src/distrib/sets/lists/tests/mi:1.1096
--- src/distrib/sets/lists/tests/mi:1.1095 Sun Jul 25 17:27:07 2021
+++ src/distrib/sets/lists/tests/mi Sun Jul 25 22:03:42 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1095 2021/07/25 17:27:07 rillig Exp $
+# $NetBSD: mi,v 1.1096 2021/07/25 22:03:42 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6116,6 +6116,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/c90.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/c90.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/c99_bool_strict_suppressed.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/c99_bool_strict_suppressed.exp tests-obsolete obsolete
./usr/tests/usr.bin/xlint/lint1/c99_init_array.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.96 src/tests/usr.bin/xlint/lint1/Makefile:1.97
--- src/tests/usr.bin/xlint/lint1/Makefile:1.96 Sun Jul 25 17:27:07 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Sun Jul 25 22:03:42 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.96 2021/07/25 17:27:07 rillig Exp $
+# $NetBSD: Makefile,v 1.97 2021/07/25 22:03:42 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 345 # see lint1/err.c
@@ -18,6 +18,8 @@ archsubdir.sh:
FILESDIR= ${TESTSDIR}
FILES+= c11_generic_expression.c
FILES+= c11_generic_expression.exp
+FILES+= c90.c
+FILES+= c90.exp
FILES+= c99_bool_strict_suppressed.c
FILES+= c99_init_array.c
FILES+= c99_init_array.exp
Index: src/tests/usr.bin/xlint/lint1/decl.c
diff -u src/tests/usr.bin/xlint/lint1/decl.c:1.11 src/tests/usr.bin/xlint/lint1/decl.c:1.12
--- src/tests/usr.bin/xlint/lint1/decl.c:1.11 Sun Jul 25 08:42:28 2021
+++ src/tests/usr.bin/xlint/lint1/decl.c Sun Jul 25 22:03:42 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: decl.c,v 1.11 2021/07/25 08:42:28 rillig Exp $ */
+/* $NetBSD: decl.c,v 1.12 2021/07/25 22:03:42 rillig Exp $ */
# 3 "decl.c"
/*
@@ -164,3 +164,9 @@ thread int thread_int;
__thread int thread_int;
/* expect+1: syntax error 'int' [249] */
__thread__ int thread_int;
+
+/* expect+2: warning: static function cover_func_declarator unused [236] */
+static
+cover_func_declarator(void)
+{
+}
Index: src/tests/usr.bin/xlint/lint1/decl.exp
diff -u src/tests/usr.bin/xlint/lint1/decl.exp:1.7 src/tests/usr.bin/xlint/lint1/decl.exp:1.8
--- src/tests/usr.bin/xlint/lint1/decl.exp:1.7 Sun Jul 25 08:42:28 2021
+++ src/tests/usr.bin/xlint/lint1/decl.exp Sun Jul 25 22:03:42 2021
@@ -12,3 +12,4 @@ decl.c(80): error: syntax error '"' [249
decl.c(163): error: syntax error 'int' [249]
decl.c(166): error: syntax error 'int' [249]
decl.c(114): warning: static function unused unused [236]
+decl.c(170): warning: static function cover_func_declarator unused [236]
Index: src/tests/usr.bin/xlint/lint1/parse_init_declarator.c
diff -u src/tests/usr.bin/xlint/lint1/parse_init_declarator.c:1.2 src/tests/usr.bin/xlint/lint1/parse_init_declarator.c:1.3
--- src/tests/usr.bin/xlint/lint1/parse_init_declarator.c:1.2 Sun Jul 25 17:40:04 2021
+++ src/tests/usr.bin/xlint/lint1/parse_init_declarator.c Sun Jul 25 22:03:42 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: parse_init_declarator.c,v 1.2 2021/07/25 17:40:04 rillig Exp $ */
+/* $NetBSD: parse_init_declarator.c,v 1.3 2021/07/25 22:03:42 rillig Exp $ */
# 3 "parse_init_declarator.c"
/*
@@ -28,3 +28,6 @@ int *init_declarator_with_initializer_wr
int *init_declarator_with_initializer_attribute_too_late
__asm("") = &global_var __attribute__((deprecated));
/* expect-1: error: syntax error '__attribute__' [249] */
+
+/* cover cgram_declare, freeyyv */
+int original __symbolrename(renamed);
Index: src/tests/usr.bin/xlint/lint1/parse_type_name.c
diff -u src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.6 src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.7
--- src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.6 Sun Jul 25 19:41:33 2021
+++ src/tests/usr.bin/xlint/lint1/parse_type_name.c Sun Jul 25 22:03:42 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: parse_type_name.c,v 1.6 2021/07/25 19:41:33 rillig Exp $ */
+/* $NetBSD: parse_type_name.c,v 1.7 2021/07/25 22:03:42 rillig Exp $ */
# 3 "parse_type_name.c"
/*
@@ -65,7 +65,7 @@ cover_direct_abstract_declarator(void)
sink(sizeof(int[3]));
/* cover 'type_attribute direct_abstract_declarator' */
- /* TODO */
+ sink(sizeof(int *__attribute__(())[3]));
/* cover 'direct_abstract_declarator T_LBRACK T_RBRACK' */
/* expect+1: error: null dimension [17] */
Added files:
Index: src/tests/usr.bin/xlint/lint1/c90.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/c90.c:1.1
--- /dev/null Sun Jul 25 22:03:43 2021
+++ src/tests/usr.bin/xlint/lint1/c90.c Sun Jul 25 22:03:42 2021
@@ -0,0 +1,12 @@
+/* $NetBSD: c90.c,v 1.1 2021/07/25 22:03:42 rillig Exp $ */
+# 3 "c90.c"
+
+/*
+ * Tests for the option -s, which allows features from C90, but neither any
+ * later C standards nor GNU extensions.
+ */
+
+/* lint1-flags: -sw */
+
+/* expect+1: error: ANSI C requires formal parameter before '...' [84] */
+void varargs_function(...);
Index: src/tests/usr.bin/xlint/lint1/c90.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/c90.exp:1.1
--- /dev/null Sun Jul 25 22:03:43 2021
+++ src/tests/usr.bin/xlint/lint1/c90.exp Sun Jul 25 22:03:42 2021
@@ -0,0 +1 @@
+c90.c(12): error: ANSI C requires formal parameter before '...' [84]
