Module Name: src
Committed By: rillig
Date: Tue Jul 13 19:38:11 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile lex_integer.c
Added Files:
src/tests/usr.bin/xlint/lint1: lex_integer_binary.c
lex_integer_binary.exp
Log Message:
tests/lint: test binary integer literals and underscores
To generate a diff of this commit:
cvs rdiff -u -r1.1085 -r1.1086 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.87 -r1.88 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r1.5 -r1.6 src/tests/usr.bin/xlint/lint1/lex_integer.c
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/lex_integer_binary.c \
src/tests/usr.bin/xlint/lint1/lex_integer_binary.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.1085 src/distrib/sets/lists/tests/mi:1.1086
--- src/distrib/sets/lists/tests/mi:1.1085 Sun Jul 11 19:24:41 2021
+++ src/distrib/sets/lists/tests/mi Tue Jul 13 19:38:10 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1085 2021/07/11 19:24:41 rillig Exp $
+# $NetBSD: mi,v 1.1086 2021/07/13 19:38:10 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6260,6 +6260,8 @@
./usr/tests/usr.bin/xlint/lint1/lex_floating.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/lex_integer.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/lex_integer.exp tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/lex_integer_binary.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/lex_integer_binary.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/lex_integer_ilp32.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/lex_integer_ilp32.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/lex_string.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.87 src/tests/usr.bin/xlint/lint1/Makefile:1.88
--- src/tests/usr.bin/xlint/lint1/Makefile:1.87 Tue Jul 13 18:50:16 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Tue Jul 13 19:38:10 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.87 2021/07/13 18:50:16 rillig Exp $
+# $NetBSD: Makefile,v 1.88 2021/07/13 19:38:10 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 345 # see lint1/err.c
@@ -161,6 +161,8 @@ FILES+= lex_floating.c
FILES+= lex_floating.exp
FILES+= lex_integer.c
FILES+= lex_integer.exp
+FILES+= lex_integer_binary.c
+FILES+= lex_integer_binary.exp
FILES+= lex_integer_ilp32.c
FILES+= lex_integer_ilp32.exp
FILES+= lex_string.c
Index: src/tests/usr.bin/xlint/lint1/lex_integer.c
diff -u src/tests/usr.bin/xlint/lint1/lex_integer.c:1.5 src/tests/usr.bin/xlint/lint1/lex_integer.c:1.6
--- src/tests/usr.bin/xlint/lint1/lex_integer.c:1.5 Sat Jul 10 18:42:28 2021
+++ src/tests/usr.bin/xlint/lint1/lex_integer.c Tue Jul 13 19:38:10 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: lex_integer.c,v 1.5 2021/07/10 18:42:28 rillig Exp $ */
+/* $NetBSD: lex_integer.c,v 1.6 2021/07/13 19:38:10 rillig Exp $ */
# 3 "lex_integer.c"
/*
@@ -59,3 +59,10 @@ suffixes(void)
/* The 'Ll' must not used mixed case. Checked by the compiler. */
sinkull(3ULl);
}
+
+/* https://gcc.gnu.org/onlinedocs/gcc/Binary-constants.html */
+void
+binary_literal(void)
+{
+ sinku(0b1111000001011010);
+}
Added files:
Index: src/tests/usr.bin/xlint/lint1/lex_integer_binary.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/lex_integer_binary.c:1.1
--- /dev/null Tue Jul 13 19:38:11 2021
+++ src/tests/usr.bin/xlint/lint1/lex_integer_binary.c Tue Jul 13 19:38:10 2021
@@ -0,0 +1,30 @@
+/* $NetBSD: lex_integer_binary.c,v 1.1 2021/07/13 19:38:10 rillig Exp $ */
+# 3 "lex_integer_binary.c"
+
+/*
+ * Test for parsing binary integer literals in non-GCC mode.
+ * As of C11, binary integer literals are not supported.
+ * Neither are underscores in integer literals.
+ */
+
+/* Remove the default -g flag. */
+/* lint1-flags: -Ac11 -w */
+
+void sink(unsigned int);
+
+void
+binary_literal(void)
+{
+ /*
+ * Binary integer literals are a GCC extension, but lint allows them
+ * even in non-GCC mode.
+ */
+ sink(0b1111000001011010);
+
+ /*
+ * Even though it would be useful for binary literals, GCC does not
+ * support underscores to separate the digit groups.
+ */
+ /* expect+1: syntax error '_0000_0101_1010' [249] */
+ sink(0b1111_0000_0101_1010);
+}
Index: src/tests/usr.bin/xlint/lint1/lex_integer_binary.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/lex_integer_binary.exp:1.1
--- /dev/null Tue Jul 13 19:38:11 2021
+++ src/tests/usr.bin/xlint/lint1/lex_integer_binary.exp Tue Jul 13 19:38:10 2021
@@ -0,0 +1 @@
+lex_integer_binary.c(29): error: syntax error '_0000_0101_1010' [249]
