Module Name: src Committed By: rillig Date: Fri Apr 29 06:40:52 UTC 2022
Modified Files: src/usr.bin/xlint/lint1: cgram.y Log Message: lint: do not allow type attributes after label After a label, the type attributes _Alignas, __packed and _Noreturn do not make sense, so don't allow them. The only kind of attributes that makes sense there syntactically is GCC __attribute__. Allow multiple such attributes, like everywhere in the GCC grammar. To generate a diff of this commit: cvs rdiff -u -r1.403 -r1.404 src/usr.bin/xlint/lint1/cgram.y Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.
Modified files: Index: src/usr.bin/xlint/lint1/cgram.y diff -u src/usr.bin/xlint/lint1/cgram.y:1.403 src/usr.bin/xlint/lint1/cgram.y:1.404 --- src/usr.bin/xlint/lint1/cgram.y:1.403 Thu Apr 28 21:38:38 2022 +++ src/usr.bin/xlint/lint1/cgram.y Fri Apr 29 06:40:51 2022 @@ -1,5 +1,5 @@ %{ -/* $NetBSD: cgram.y,v 1.403 2022/04/28 21:38:38 rillig Exp $ */ +/* $NetBSD: cgram.y,v 1.404 2022/04/29 06:40:51 rillig Exp $ */ /* * Copyright (c) 1996 Christopher G. Demetriou. All Rights Reserved. @@ -35,7 +35,7 @@ #include <sys/cdefs.h> #if defined(__RCSID) && !defined(lint) -__RCSID("$NetBSD: cgram.y,v 1.403 2022/04/28 21:38:38 rillig Exp $"); +__RCSID("$NetBSD: cgram.y,v 1.404 2022/04/29 06:40:51 rillig Exp $"); #endif #include <limits.h> @@ -126,7 +126,7 @@ anonymize(sym_t *s) %} -%expect 132 +%expect 129 %union { val_t *y_val; @@ -1655,7 +1655,7 @@ non_expr_statement: /* helper for C99 6 ; labeled_statement: /* C99 6.8.1 */ - label type_attribute_opt statement + label gcc_attribute_list_opt statement ; label: