Module Name: src Committed By: rillig Date: Sun Jul 25 09:47:08 UTC 2021
Modified Files: src/tests/usr.bin/xlint/lint1: parse_type_name.c parse_type_name.exp Log Message: tests/lint: document unreachable 'abstract_declarator: T_TYPEOF' To generate a diff of this commit: cvs rdiff -u -r1.1 -r1.2 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.1 src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.2 --- src/tests/usr.bin/xlint/lint1/parse_type_name.c:1.1 Sun Jul 25 08:42:28 2021 +++ src/tests/usr.bin/xlint/lint1/parse_type_name.c Sun Jul 25 09:47:08 2021 @@ -1,4 +1,4 @@ -/* $NetBSD: parse_type_name.c,v 1.1 2021/07/25 08:42:28 rillig Exp $ */ +/* $NetBSD: parse_type_name.c,v 1.2 2021/07/25 09:47:08 rillig Exp $ */ # 3 "parse_type_name.c" /* @@ -48,7 +48,15 @@ cover_abstract_declarator(void) sink(sizeof(int **[3])); /* cover 'T_TYPEOF cast_expression' */ - /* TODO */ + 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. + */ } 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.1 src/tests/usr.bin/xlint/lint1/parse_type_name.exp:1.2 --- src/tests/usr.bin/xlint/lint1/parse_type_name.exp:1.1 Sun Jul 25 08:42:28 2021 +++ src/tests/usr.bin/xlint/lint1/parse_type_name.exp Sun Jul 25 09:47:08 2021 @@ -1,6 +1,7 @@ -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(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(149): error: syntax error 'goto' [249] -parse_type_name.c(163): warning: ANSI C requires formal parameter before '...' [84] +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]