Module Name: src
Committed By: rillig
Date: Sun Mar 7 19:42:54 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile t_integration.sh
src/usr.bin/xlint/lint1: cgram.y err.c
Added Files:
src/tests/usr.bin/xlint/lint1: msg_340.c msg_340.exp
Log Message:
lint: in strict C mode, warn about initialization with '[a ... b]'
https://gcc.gnu.org/onlinedocs/gcc/Case-Ranges.html
To generate a diff of this commit:
cvs rdiff -u -r1.1025 -r1.1026 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.34 -r1.35 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/msg_340.c \
src/tests/usr.bin/xlint/lint1/msg_340.exp
cvs rdiff -u -r1.32 -r1.33 src/tests/usr.bin/xlint/lint1/t_integration.sh
cvs rdiff -u -r1.165 -r1.166 src/usr.bin/xlint/lint1/cgram.y
cvs rdiff -u -r1.86 -r1.87 src/usr.bin/xlint/lint1/err.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.1025 src/distrib/sets/lists/tests/mi:1.1026
--- src/distrib/sets/lists/tests/mi:1.1025 Sat Mar 6 17:56:33 2021
+++ src/distrib/sets/lists/tests/mi Sun Mar 7 19:42:54 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1025 2021/03/06 17:56:33 rillig Exp $
+# $NetBSD: mi,v 1.1026 2021/03/07 19:42:54 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6730,6 +6730,8 @@
./usr/tests/usr.bin/xlint/lint1/msg_338.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/msg_339.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/msg_339.exp tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/msg_340.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/msg_340.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/t_integration tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/ztest tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/ztest/Atffile tests-usr.bin-tests compattestfile,atf
Index: src/tests/usr.bin/xlint/lint1/Makefile
diff -u src/tests/usr.bin/xlint/lint1/Makefile:1.34 src/tests/usr.bin/xlint/lint1/Makefile:1.35
--- src/tests/usr.bin/xlint/lint1/Makefile:1.34 Sun Feb 28 22:12:16 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Sun Mar 7 19:42:54 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.34 2021/02/28 22:12:16 rillig Exp $
+# $NetBSD: Makefile,v 1.35 2021/03/07 19:42:54 rillig Exp $
NOMAN= # defined
@@ -96,7 +96,7 @@ FILES+= d_type_question_colon.c
FILES+= d_typefun.c
FILES+= d_typename_as_var.c
FILES+= d_zero_sized_arrays.c
-FILES+= ${:U0 ${:U:range=339}:C,^.$,0&,:C,^..$,0&,:@msg@msg_${msg}.c msg_${msg}.exp@}
+FILES+= ${:U0 ${:U:range=340}:C,^.$,0&,:C,^..$,0&,:@msg@msg_${msg}.c msg_${msg}.exp@}
# Note: only works for adding tests.
# To remove a test, the $$mi file must be edited manually.
Index: src/tests/usr.bin/xlint/lint1/t_integration.sh
diff -u src/tests/usr.bin/xlint/lint1/t_integration.sh:1.32 src/tests/usr.bin/xlint/lint1/t_integration.sh:1.33
--- src/tests/usr.bin/xlint/lint1/t_integration.sh:1.32 Sun Feb 28 22:12:16 2021
+++ src/tests/usr.bin/xlint/lint1/t_integration.sh Sun Mar 7 19:42:54 2021
@@ -1,4 +1,4 @@
-# $NetBSD: t_integration.sh,v 1.32 2021/02/28 22:12:16 rillig Exp $
+# $NetBSD: t_integration.sh,v 1.33 2021/03/07 19:42:54 rillig Exp $
#
# Copyright (c) 2008, 2010 The NetBSD Foundation, Inc.
# All rights reserved.
@@ -187,7 +187,7 @@ all_messages_body()
srcdir="$(atf_get_srcdir)"
ok="true"
- for msg in $(seq 0 339); do
+ for msg in $(seq 0 340); do
base="$(printf '%s/msg_%03d' "${srcdir}" "${msg}")"
flags="$(extract_flags "${base}.c")"
Index: src/usr.bin/xlint/lint1/cgram.y
diff -u src/usr.bin/xlint/lint1/cgram.y:1.165 src/usr.bin/xlint/lint1/cgram.y:1.166
--- src/usr.bin/xlint/lint1/cgram.y:1.165 Sun Mar 7 18:02:45 2021
+++ src/usr.bin/xlint/lint1/cgram.y Sun Mar 7 19:42:54 2021
@@ -1,5 +1,5 @@
%{
-/* $NetBSD: cgram.y,v 1.165 2021/03/07 18:02:45 rillig Exp $ */
+/* $NetBSD: cgram.y,v 1.166 2021/03/07 19:42:54 rillig Exp $ */
/*
* Copyright (c) 1996 Christopher G. Demetriou. All Rights Reserved.
@@ -35,7 +35,7 @@
#include <sys/cdefs.h>
#if defined(__RCSID) && !defined(lint)
-__RCSID("$NetBSD: cgram.y,v 1.165 2021/03/07 18:02:45 rillig Exp $");
+__RCSID("$NetBSD: cgram.y,v 1.166 2021/03/07 19:42:54 rillig Exp $");
#endif
#include <limits.h>
@@ -1353,6 +1353,8 @@ range:
| constant T_ELLIPSIS constant {
$$.lo = toicon($1, 1);
$$.hi = toicon($3, 1);
+ /* initialization with '[a...b]' is a GNU extension */
+ gnuism(340);
}
;
Index: src/usr.bin/xlint/lint1/err.c
diff -u src/usr.bin/xlint/lint1/err.c:1.86 src/usr.bin/xlint/lint1/err.c:1.87
--- src/usr.bin/xlint/lint1/err.c:1.86 Sun Feb 28 02:45:37 2021
+++ src/usr.bin/xlint/lint1/err.c Sun Mar 7 19:42:54 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: err.c,v 1.86 2021/02/28 02:45:37 rillig Exp $ */
+/* $NetBSD: err.c,v 1.87 2021/03/07 19:42:54 rillig Exp $ */
/*
* Copyright (c) 1994, 1995 Jochen Pohl
@@ -37,7 +37,7 @@
#include <sys/cdefs.h>
#if defined(__RCSID) && !defined(lint)
-__RCSID("$NetBSD: err.c,v 1.86 2021/02/28 02:45:37 rillig Exp $");
+__RCSID("$NetBSD: err.c,v 1.87 2021/03/07 19:42:54 rillig Exp $");
#endif
#include <sys/types.h>
@@ -399,6 +399,7 @@ const char *msgs[] = {
"right operand of '%s' must not be bool", /* 337 */
"option '%c' should be handled in the switch", /* 338 */
"option '%c' should be listed in the options string", /* 339 */
+ "initialization with '[a...b]' is a GNU extension", /* 340 */
};
/*
Added files:
Index: src/tests/usr.bin/xlint/lint1/msg_340.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/msg_340.c:1.1
--- /dev/null Sun Mar 7 19:42:55 2021
+++ src/tests/usr.bin/xlint/lint1/msg_340.c Sun Mar 7 19:42:54 2021
@@ -0,0 +1,19 @@
+/* $NetBSD: msg_340.c,v 1.1 2021/03/07 19:42:54 rillig Exp $ */
+# 3 "msg_340.c"
+
+// Test for message: initialization with '[a...b]' is a GNU extension [340]
+
+/*
+ * In strict C mode, GNU extensions are flagged as such.
+ */
+
+/* lint1-flags: -Ssw */
+
+int
+example(void)
+{
+ int numbers[] = {
+ [2 ... 3] = 12 /* expect: 340 */
+ };
+ return numbers[0];
+}
Index: src/tests/usr.bin/xlint/lint1/msg_340.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/msg_340.exp:1.1
--- /dev/null Sun Mar 7 19:42:55 2021
+++ src/tests/usr.bin/xlint/lint1/msg_340.exp Sun Mar 7 19:42:54 2021
@@ -0,0 +1 @@
+msg_340.c(16): initialization with '[a...b]' is a GNU extension [340]
