Tue Jul 13 19:38:11 2021 UTC ()
tests/lint: test binary integer literals and underscores
(rillig)
diff -r1.1085 -r1.1086 src/distrib/sets/lists/tests/mi
diff -r1.87 -r1.88 src/tests/usr.bin/xlint/lint1/Makefile
diff -r1.5 -r1.6 src/tests/usr.bin/xlint/lint1/lex_integer.c
diff -r0 -r1.1 src/tests/usr.bin/xlint/lint1/lex_integer_binary.c
diff -r0 -r1.1 src/tests/usr.bin/xlint/lint1/lex_integer_binary.exp
--- src/distrib/sets/lists/tests/mi 2021/07/11 19:24:41 1.1085
+++ src/distrib/sets/lists/tests/mi 2021/07/13 19:38:10 1.1086
@@ -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
--- src/tests/usr.bin/xlint/lint1/Makefile 2021/07/13 18:50:16 1.87
+++ src/tests/usr.bin/xlint/lint1/Makefile 2021/07/13 19:38:10 1.88
@@ -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.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
--- src/tests/usr.bin/xlint/lint1/lex_integer.c 2021/07/10 18:42:28 1.5
+++ src/tests/usr.bin/xlint/lint1/lex_integer.c 2021/07/13 19:38:10 1.6
@@ -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"
/*
@@ -58,4 +58,11 @@
sinkull(3lul);
/* 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);
}
/* $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);
}
lex_integer_binary.c(29): error: syntax error '_0000_0101_1010' [249]