From: Nicolas Schier <nicolas.schier@linux.dev>
To: Masahiro Yamada <masahiroy@kernel.org>
Cc: linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org,
Nicolas Schier <n.schier@avm.de>
Subject: Re: [PATCH 00/17] genksyms: fix conflicts and syntax errors in parser
Date: Tue, 14 Jan 2025 21:33:29 +0100 [thread overview]
Message-ID: <Z4bKGZWPvNrooZwD@fjasle.eu> (raw)
In-Reply-To: <20250113150253.3097820-1-masahiroy@kernel.org>
[-- Attachment #1: Type: text/plain, Size: 2171 bytes --]
On Tue, Jan 14, 2025 at 12:00:38AM +0900, Masahiro Yamada wrote:
>
> This series fixes several long-standing issues in genksyms.
>
> - The parser contains grammatical ambiguities, including both
> reduce/reduce and shift/reduce conflicts.
>
> - There are several hidden syntax errors
> When a syntax error occurs, the type becomes UNKNOWN, and
> precise CRC calculation becomes impossible.
>
>
>
> Masahiro Yamada (17):
> genksyms: rename m_abstract_declarator to abstract_declarator
> genksyms: rename cvar_qualifier to type_qualifier
> genksyms: reduce type_qualifier directly to decl_specifier
> genksyms: fix 6 shift/reduce conflicts and 5 reduce/reduce conflicts
> genksyms: fix last 3 shift/reduce conflicts
> genksyms: remove Makefile hack
> genksyms: restrict direct-abstract-declarator to take one
> parameter-type-list
> genksyms: restrict direct-declarator to take one parameter-type-list
> genksyms: record attributes consistently for init-declarator
> genksyms: decouple ATTRIBUTE_PHRASE from type-qualifier
> genksyms: fix syntax error for attribute before abstract_declarator
> genksyms: fix syntax error for attribute before nested_declarator
> genksyms: fix syntax error for attribute after abstact_declarator
> genksyms: fix syntax error for attribute after 'struct'
> genksyms: fix syntax error for attribute after 'union'
> genksyms: fix syntax error for builtin (u)int*x*_t types
> genksyms: fix syntax error for attribute before init-declarator
>
> scripts/genksyms/Makefile | 18 -----
> scripts/genksyms/genksyms.h | 3 +
> scripts/genksyms/lex.l | 17 +++-
> scripts/genksyms/parse.y | 150 ++++++++++++++++++++----------------
> 4 files changed, 101 insertions(+), 87 deletions(-)
>
> --
> 2.43.0
Thanks for the series, especially for the very detailed,
explanatory commit messages!
I looked through all the patches and they all look good to me
-- but my bison/parsing/lexing knowledge is rusty and quite
limited, therefore I cannot review properly.
Acked-by: Nicolas Schier <n.schier@avm.de>
Kind regards,
Nicolas
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]
prev parent reply other threads:[~2025-01-14 20:33 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-01-13 15:00 [PATCH 00/17] genksyms: fix conflicts and syntax errors in parser Masahiro Yamada
2025-01-13 15:00 ` [PATCH 01/17] genksyms: rename m_abstract_declarator to abstract_declarator Masahiro Yamada
2025-01-13 15:00 ` [PATCH 02/17] genksyms: rename cvar_qualifier to type_qualifier Masahiro Yamada
2025-01-13 15:00 ` [PATCH 03/17] genksyms: reduce type_qualifier directly to decl_specifier Masahiro Yamada
2025-01-13 15:00 ` [PATCH 04/17] genksyms: fix 6 shift/reduce conflicts and 5 reduce/reduce conflicts Masahiro Yamada
2025-01-14 1:23 ` Masahiro Yamada
2025-01-13 15:00 ` [PATCH 05/17] genksyms: fix last 3 shift/reduce conflicts Masahiro Yamada
2025-01-13 15:00 ` [PATCH 06/17] genksyms: remove Makefile hack Masahiro Yamada
2025-01-13 15:00 ` [PATCH 07/17] genksyms: restrict direct-abstract-declarator to take one parameter-type-list Masahiro Yamada
2025-01-13 15:00 ` [PATCH 08/17] genksyms: restrict direct-declarator " Masahiro Yamada
2025-01-13 15:00 ` [PATCH 09/17] genksyms: record attributes consistently for init-declarator Masahiro Yamada
2025-01-13 15:00 ` [PATCH 10/17] genksyms: decouple ATTRIBUTE_PHRASE from type-qualifier Masahiro Yamada
2025-01-13 15:00 ` [PATCH 11/17] genksyms: fix syntax error for attribute before abstract_declarator Masahiro Yamada
2025-01-13 15:00 ` [PATCH 12/17] genksyms: fix syntax error for attribute before nested_declarator Masahiro Yamada
2025-01-13 15:00 ` [PATCH 13/17] genksyms: fix syntax error for attribute after abstact_declarator Masahiro Yamada
2025-01-13 15:00 ` [PATCH 14/17] genksyms: fix syntax error for attribute after 'struct' Masahiro Yamada
2025-01-13 15:00 ` [PATCH 15/17] genksyms: fix syntax error for attribute after 'union' Masahiro Yamada
2025-01-13 15:00 ` [PATCH 16/17] genksyms: fix syntax error for builtin (u)int*x*_t types Masahiro Yamada
2025-01-13 15:00 ` [PATCH 17/17] genksyms: fix syntax error for attribute before init-declarator Masahiro Yamada
2025-01-14 20:33 ` Nicolas Schier [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Z4bKGZWPvNrooZwD@fjasle.eu \
--to=nicolas.schier@linux.dev \
--cc=linux-kbuild@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=masahiroy@kernel.org \
--cc=n.schier@avm.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox