Module Name: src
Committed By: rillig
Date: Sat Jan 21 11:57:03 UTC 2023
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile
Added Files:
src/tests/usr.bin/xlint/lint1: c11_atomic.c c99_atomic.c
Log Message:
tests/lint: test _Atomic, added in C11
To generate a diff of this commit:
cvs rdiff -u -r1.1244 -r1.1245 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.131 -r1.132 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/c11_atomic.c \
src/tests/usr.bin/xlint/lint1/c99_atomic.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.1244 src/distrib/sets/lists/tests/mi:1.1245
--- src/distrib/sets/lists/tests/mi:1.1244 Thu Jan 19 23:26:14 2023
+++ src/distrib/sets/lists/tests/mi Sat Jan 21 11:57:03 2023
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1244 2023/01/19 23:26:14 rillig Exp $
+# $NetBSD: mi,v 1.1245 2023/01/21 11:57:03 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6413,10 +6413,12 @@
./usr/tests/usr.bin/xlint/lint1 tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/Atffile tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/Kyuafile tests-usr.bin-tests compattestfile,atf,kyua
+./usr/tests/usr.bin/xlint/lint1/c11_atomic.c tests-usr.bin-tests compattestfile,atf
./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-obsolete obsolete,atf
./usr/tests/usr.bin/xlint/lint1/c90.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/c90.exp tests-obsolete obsolete,atf
+./usr/tests/usr.bin/xlint/lint1/c99_atomic.c 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.131 src/tests/usr.bin/xlint/lint1/Makefile:1.132
--- src/tests/usr.bin/xlint/lint1/Makefile:1.131 Sun Jan 15 00:53:19 2023
+++ src/tests/usr.bin/xlint/lint1/Makefile Sat Jan 21 11:57:03 2023
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.131 2023/01/15 00:53:19 rillig Exp $
+# $NetBSD: Makefile,v 1.132 2023/01/21 11:57:03 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 349 # see lint1/err.c
@@ -18,8 +18,10 @@ archsubdir.sh:
@echo archsubdir=${ARCHSUBDIR} >${.TARGET}
FILESDIR= ${TESTSDIR}
+FILES+= c11_atomic.c
FILES+= c11_generic_expression.c
FILES+= c90.c
+FILES+= c99_atomic.c
FILES+= c99_bool_strict_suppressed.c
FILES+= c99_init_array.c
FILES+= c99_init_designator.c
Added files:
Index: src/tests/usr.bin/xlint/lint1/c11_atomic.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/c11_atomic.c:1.1
--- /dev/null Sat Jan 21 11:57:03 2023
+++ src/tests/usr.bin/xlint/lint1/c11_atomic.c Sat Jan 21 11:57:03 2023
@@ -0,0 +1,27 @@
+/* $NetBSD: c11_atomic.c,v 1.1 2023/01/21 11:57:03 rillig Exp $ */
+# 3 "c11_atomic.c"
+
+/*
+ * The keyword '_Atomic' was added in C11. This test ensures that in C11
+ * mode, '_Atomic' can be used as both type qualifier and type specifier.
+ *
+ * See also:
+ * C11 6.7.3 Type qualifiers
+ * C11 6.7.2.4 Atomic type specifiers
+ */
+
+/* lint1-extra-flags: -Ac11 */
+
+/* FIXME: The error messages are misleading. */
+
+/* C11 6.7.3 "Type qualifiers" */
+/* expect+2: error: old-style declaration; add 'int' [1] */
+/* expect+1: error: syntax error 'int' [249] */
+typedef _Atomic int atomic_int;
+
+typedef _Atomic struct {
+ int field;
+} atomic_struct;
+/* expect-1: error: illegal type combination [4] */
+
+/* TODO: C11 6.7.2.4 "Atomic type specifiers" */
Index: src/tests/usr.bin/xlint/lint1/c99_atomic.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/c99_atomic.c:1.1
--- /dev/null Sat Jan 21 11:57:03 2023
+++ src/tests/usr.bin/xlint/lint1/c99_atomic.c Sat Jan 21 11:57:03 2023
@@ -0,0 +1,18 @@
+/* $NetBSD: c99_atomic.c,v 1.1 2023/01/21 11:57:03 rillig Exp $ */
+# 3 "c99_atomic.c"
+
+/*
+ * The keyword '_Atomic' was added in C11. This test ensures that in C99
+ * mode, the parser recognizes the keyword but flags it.
+ */
+
+/* FIXME: The error messages are misleading. */
+
+/* expect+2: error: old-style declaration; add 'int' [1] */
+/* expect+1: error: syntax error 'int' [249] */
+typedef _Atomic int atomic_int;
+
+typedef _Atomic struct {
+ int field;
+} atomic_struct;
+/* expect-1: error: illegal type combination [4] */
