Module Name: src
Committed By: rillig
Date: Sun Jul 25 09:53:01 UTC 2021
Modified Files:
src/tests/usr.bin/xlint/lint1: parse_type_name.c parse_type_name.exp
Log Message:
tests/lint: try harder to reduce 'abstract_declarator: T_TYPEOF'
At the top level of a type_name, declaration-specifiers take precedence,
but these cannot look inside the parentheses of a
direct-abstract-declarator.
To generate a diff of this commit:
cvs rdiff -u -r1.2 -r1.3 src/tests/usr.bin/xlint/lint1/parse_type_name.c \
src/tests/usr.bin/xlint/lint1/parse_type_name.exp
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
Modified files:
Index: src/tests/usr.bin/xlint/lint1/parse_type_name.c
diff -u src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.2 src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.3
--- src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.2 Sun Jul 25 09:47:08 2021
+++ src/tests/usr.bin/xlint/lint1/parse_type_name.c Sun Jul 25 09:53:01 2021
@@ -1,4 +1,4 @@
-/* $NetBSD: parse_type_name.c,v 1.2 2021/07/25 09:47:08 rillig Exp $ */
+/* $NetBSD: parse_type_name.c,v 1.3 2021/07/25 09:53:01 rillig Exp $ */
# 3 "parse_type_name.c"
/*
@@ -48,15 +48,7 @@ cover_abstract_declarator(void)
sink(sizeof(int **[3]));
/* cover 'T_TYPEOF cast_expression' */
- sink(sizeof(typeof(12345)));
- /* expect+1: error: illegal type combination [4] */
- sink(sizeof(typeof(12345) typeof(12345)));
- /*
- * TODO: Remove this grammar rule. No matter how often typeof occurs
- * in the expression, it is already covered by abstract_declaration >
- * begin_type_specifier_qualifier_list > begin_type_typespec >
- * notype_type_specifier > T_TYPEOF. It can never reduce this rule.
- */
+ sink(sizeof(int(typeof(12345))));
}
void
Index: src/tests/usr.bin/xlint/lint1/parse_type_name.exp
diff -u src/tests/usr.bin/xlint/lint1/parse_type_name.exp:1.2 src/tests/usr.bin/xlint/lint1/parse_type_name.exp:1.3
--- src/tests/usr.bin/xlint/lint1/parse_type_name.exp:1.2 Sun Jul 25 09:47:08 2021
+++ src/tests/usr.bin/xlint/lint1/parse_type_name.exp Sun Jul 25 09:53:01 2021
@@ -1,7 +1,6 @@
-parse_type_name.c(53): error: illegal type combination [4]
-parse_type_name.c(79): error: null dimension [17]
-parse_type_name.c(83): error: null dimension [17]
+parse_type_name.c(71): error: null dimension [17]
+parse_type_name.c(75): error: null dimension [17]
+parse_type_name.c(141): error: syntax error 'goto' [249]
+parse_type_name.c(143): error: syntax error 'goto' [249]
parse_type_name.c(149): error: syntax error 'goto' [249]
-parse_type_name.c(151): error: syntax error 'goto' [249]
-parse_type_name.c(157): error: syntax error 'goto' [249]
-parse_type_name.c(171): warning: ANSI C requires formal parameter before '...' [84]
+parse_type_name.c(163): warning: ANSI C requires formal parameter before '...' [84]
