Module Name: src
Committed By: rillig
Date: Sun Feb 21 08:05:51 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile t_integration.sh
Added Files:
src/tests/usr.bin/xlint/lint1: d_c99_init.c d_c99_init.exp
Log Message:
lint: add another test for C99 initializers
To generate a diff of this commit:
cvs rdiff -u -r1.1020 -r1.1021 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.31 -r1.32 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/d_c99_init.c \
src/tests/usr.bin/xlint/lint1/d_c99_init.exp
cvs rdiff -u -r1.29 -r1.30 src/tests/usr.bin/xlint/lint1/t_integration.sh
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.1020 src/distrib/sets/lists/tests/mi:1.1021
--- src/distrib/sets/lists/tests/mi:1.1020 Fri Feb 19 12:28:56 2021
+++ src/distrib/sets/lists/tests/mi Sun Feb 21 08:05:51 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1020 2021/02/19 12:28:56 rillig Exp $
+# $NetBSD: mi,v 1.1021 2021/02/21 08:05:51 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -5772,6 +5772,8 @@
./usr/tests/usr.bin/xlint/lint1/d_c99_flex_array_packed.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_for_loops.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_func.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/d_c99_init.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/d_c99_init.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_nested_struct.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_recursive_init.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/d_c99_struct_init.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.31 src/tests/usr.bin/xlint/lint1/Makefile:1.32
--- src/tests/usr.bin/xlint/lint1/Makefile:1.31 Fri Feb 19 12:28:56 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Sun Feb 21 08:05:51 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.31 2021/02/19 12:28:56 rillig Exp $
+# $NetBSD: Makefile,v 1.32 2021/02/21 08:05:51 rillig Exp $
NOMAN= # defined
@@ -28,6 +28,8 @@ FILES+= d_c99_decls_after_stmt3.c
FILES+= d_c99_flex_array_packed.c
FILES+= d_c99_for_loops.c
FILES+= d_c99_func.c
+FILES+= d_c99_init.c
+FILES+= d_c99_init.exp
FILES+= d_c99_nested_struct.c
FILES+= d_c99_recursive_init.c
FILES+= d_c99_struct_init.c
Index: src/tests/usr.bin/xlint/lint1/t_integration.sh
diff -u src/tests/usr.bin/xlint/lint1/t_integration.sh:1.29 src/tests/usr.bin/xlint/lint1/t_integration.sh:1.30
--- src/tests/usr.bin/xlint/lint1/t_integration.sh:1.29 Fri Feb 19 12:28:56 2021
+++ src/tests/usr.bin/xlint/lint1/t_integration.sh Sun Feb 21 08:05:51 2021
@@ -1,4 +1,4 @@
-# $NetBSD: t_integration.sh,v 1.29 2021/02/19 12:28:56 rillig Exp $
+# $NetBSD: t_integration.sh,v 1.30 2021/02/21 08:05:51 rillig Exp $
#
# Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
# All rights reserved.
@@ -98,6 +98,7 @@ test_case c99_bool_strict_syshdr
test_case c99_compound_literal_comma
test_case c99_decls_after_stmt2
test_case c99_flex_array_packed
+test_case c99_init
test_case c99_nested_struct
test_case c99_union_cast
test_case c99_union_init4
Added files:
Index: src/tests/usr.bin/xlint/lint1/d_c99_init.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/d_c99_init.c:1.1
--- /dev/null Sun Feb 21 08:05:52 2021
+++ src/tests/usr.bin/xlint/lint1/d_c99_init.c Sun Feb 21 08:05:51 2021
@@ -0,0 +1,16 @@
+/* $NetBSD: d_c99_init.c,v 1.1 2021/02/21 08:05:51 rillig Exp $ */
+# 3 "d_c99_init.c"
+
+/*
+ * Test C99 initializers.
+ *
+ * See C99 6.7.8 "Initialization".
+*/
+
+/* lint1-extra-flags: -p */
+
+// C99 6.7.8p11 says "optionally enclosed in braces". The intended
+// interpretation is "optionally enclosed in a single pair of braces".
+int scalar_without_braces = 3;
+int scalar_with_optional_braces = { 3 };
+int scalar_with_too_many_braces = {{ 3 }};
Index: src/tests/usr.bin/xlint/lint1/d_c99_init.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/d_c99_init.exp:1.1
--- /dev/null Sun Feb 21 08:05:52 2021
+++ src/tests/usr.bin/xlint/lint1/d_c99_init.exp Sun Feb 21 08:05:51 2021
@@ -0,0 +1 @@
+d_c99_init.c(16): invalid initializer type int [176]
