Module Name: src
Committed By: rillig
Date: Thu Jul 15 17:09:08 UTC 2021
Modified Files:
src/distrib/sets/lists/tests: mi
src/tests/usr.bin/xlint/lint1: Makefile
Added Files:
src/tests/usr.bin/xlint/lint1: expr_precedence.c expr_precedence.exp
Log Message:
tests/lint: test precedence of operators
To generate a diff of this commit:
cvs rdiff -u -r1.1088 -r1.1089 src/distrib/sets/lists/tests/mi
cvs rdiff -u -r1.89 -r1.90 src/tests/usr.bin/xlint/lint1/Makefile
cvs rdiff -u -r0 -r1.1 src/tests/usr.bin/xlint/lint1/expr_precedence.c \
src/tests/usr.bin/xlint/lint1/expr_precedence.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.1088 src/distrib/sets/lists/tests/mi:1.1089
--- src/distrib/sets/lists/tests/mi:1.1088 Wed Jul 14 20:39:13 2021
+++ src/distrib/sets/lists/tests/mi Thu Jul 15 17:09:08 2021
@@ -1,4 +1,4 @@
-# $NetBSD: mi,v 1.1088 2021/07/14 20:39:13 rillig Exp $
+# $NetBSD: mi,v 1.1089 2021/07/15 17:09:08 rillig Exp $
#
# Note: don't delete entries from here - mark them as "obsolete" instead.
#
@@ -6224,6 +6224,8 @@
./usr/tests/usr.bin/xlint/lint1/emit.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/emit.exp-ln tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/emit.ln tests-obsolete obsolete
+./usr/tests/usr.bin/xlint/lint1/expr_precedence.c tests-usr.bin-tests compattestfile,atf
+./usr/tests/usr.bin/xlint/lint1/expr_precedence.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/expr_range.c tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/expr_range.exp tests-usr.bin-tests compattestfile,atf
./usr/tests/usr.bin/xlint/lint1/feat_stacktrace.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.89 src/tests/usr.bin/xlint/lint1/Makefile:1.90
--- src/tests/usr.bin/xlint/lint1/Makefile:1.89 Wed Jul 14 20:39:13 2021
+++ src/tests/usr.bin/xlint/lint1/Makefile Thu Jul 15 17:09:08 2021
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.89 2021/07/14 20:39:13 rillig Exp $
+# $NetBSD: Makefile,v 1.90 2021/07/15 17:09:08 rillig Exp $
NOMAN= # defined
MAX_MESSAGE= 345 # see lint1/err.c
@@ -123,6 +123,8 @@ FILES+= decl_struct_member.exp
FILES+= emit.c
FILES+= emit.exp
FILES+= emit.exp-ln
+FILES+= expr_precedence.c
+FILES+= expr_precedence.exp
FILES+= expr_range.c
FILES+= expr_range.exp
FILES+= feat_stacktrace.c
Added files:
Index: src/tests/usr.bin/xlint/lint1/expr_precedence.c
diff -u /dev/null src/tests/usr.bin/xlint/lint1/expr_precedence.c:1.1
--- /dev/null Thu Jul 15 17:09:08 2021
+++ src/tests/usr.bin/xlint/lint1/expr_precedence.c Thu Jul 15 17:09:08 2021
@@ -0,0 +1,31 @@
+/* $NetBSD: expr_precedence.c,v 1.1 2021/07/15 17:09:08 rillig Exp $ */
+# 3 "expr_precedence.c"
+
+/*
+ * Tests for the precedence among operators.
+ */
+
+int var;
+
+/*
+ * An initializer needs an assignment-expression; the comma must be
+ * interpreted as a separator, not an operator.
+ */
+/* expect+1: error: syntax error '4' [249] */
+int init_error = 3, 4;
+
+/* expect+1: error: non-constant initializer [177] */
+int init_syntactically_ok = var = 1 ? 2 : 3;
+
+/*
+ * The arguments of __attribute__ must be constant-expression, as assignments
+ * don't make sense at that point.
+ */
+void __attribute__((format(printf,
+ /* expect+2: error: 'var' undefined [99] */ /* XXX: why? */
+ /* XXX: allow only constant-expression, not assignment-expression */
+ var = 1,
+ /* Syntactically ok, must be a constant expression though. */
+ /* expect+1: error: 'var' undefined [99] */
+ var > 0 ? 2 : 1)))
+my_printf(const char *, ...);
Index: src/tests/usr.bin/xlint/lint1/expr_precedence.exp
diff -u /dev/null src/tests/usr.bin/xlint/lint1/expr_precedence.exp:1.1
--- /dev/null Thu Jul 15 17:09:08 2021
+++ src/tests/usr.bin/xlint/lint1/expr_precedence.exp Thu Jul 15 17:09:08 2021
@@ -0,0 +1,4 @@
+expr_precedence.c(15): error: syntax error '4' [249]
+expr_precedence.c(18): error: non-constant initializer [177]
+expr_precedence.c(27): error: 'var' undefined [99]
+expr_precedence.c(30): error: 'var' undefined [99]
