[src/trunk]: src/usr.bin/xlint/lint1 lint: add citations for a few grammar rules

[rillig <rillig%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/a9c47d04322e
branches:  trunk
changeset: 1022577:a9c47d04322e
user:      rillig <rillig%NetBSD.org@localhost>
date:      Sun Jul 25 18:01:03 2021 +0000

description:
lint: add citations for a few grammar rules

No functional change.

diffstat:

 usr.bin/xlint/lint1/cgram.y |  19 +++++++++++--------
 1 files changed, 11 insertions(+), 8 deletions(-)

diffs (75 lines):

diff -r 99e398bd2482 -r a9c47d04322e usr.bin/xlint/lint1/cgram.y
--- a/usr.bin/xlint/lint1/cgram.y       Sun Jul 25 17:40:04 2021 +0000
+++ b/usr.bin/xlint/lint1/cgram.y       Sun Jul 25 18:01:03 2021 +0000
@@ -1,5 +1,5 @@
 %{
-/* $NetBSD: cgram.y,v 1.339 2021/07/25 17:40:04 rillig Exp $ */
+/* $NetBSD: cgram.y,v 1.340 2021/07/25 18:01:03 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.339 2021/07/25 17:40:04 rillig Exp $");
+__RCSID("$NetBSD: cgram.y,v 1.340 2021/07/25 18:01:03 rillig Exp $");
 #endif
 
 #include <limits.h>
@@ -1366,7 +1366,7 @@
          }
        ;
 
-abstract_declaration:
+abstract_declaration:          /* specific to lint */
          begin_type_qualifier_list end_type {
                $$ = declare_1_abstract(abstract_name());
          }
@@ -1381,7 +1381,9 @@
          }
        ;
 
-abstract_declarator:           /* C99 6.7.6 */
+/* K&R 8.7, C90 ???, C99 6.7.6, C11 6.7.7 */
+/* In K&R, abstract-declarator could be empty and was still simpler. */
+abstract_declarator:
          pointer {
                $$ = add_pointer(abstract_name(), $1);
          }
@@ -1391,7 +1393,8 @@
          }
        ;
 
-direct_abstract_declarator:    /* C99 6.7.6 */
+/* K&R ---, C90 ???, C99 6.7.6, C11 6.7.7 */
+direct_abstract_declarator:
          T_LPAREN abstract_declarator T_RPAREN {
                $$ = $2;
          }
@@ -1428,7 +1431,7 @@
        | direct_abstract_declarator type_attribute_list
        ;
 
-abstract_decl_param_list:
+abstract_decl_param_list:      /* specific to lint */
          abstract_decl_lparen T_RPAREN type_attribute_opt {
                $$ = NULL;
          }
@@ -1442,14 +1445,14 @@
          }
        ;
 
-abstract_decl_lparen:
+abstract_decl_lparen:          /* specific to lint */
          T_LPAREN {
                block_level++;
                begin_declaration_level(PROTO_ARG);
          }
        ;
 
-vararg_parameter_type_list:
+vararg_parameter_type_list:    /* specific to lint */
          parameter_type_list
        | parameter_type_list T_COMMA T_ELLIPSIS {
                dcs->d_vararg = true;