]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
bpo-44180: Fix edge cases in invalid assigment rules in the parser (GH-26283)
authorPablo Galindo <Pablogsal@gmail.com>
Fri, 21 May 2021 17:34:54 +0000 (18:34 +0100)
committerGitHub <noreply@github.com>
Fri, 21 May 2021 17:34:54 +0000 (18:34 +0100)
commitc878a9796841c1f4726e6dd5ac49a478af4c8504
treee8c664f1353223a53dc7078f6ab304de0187f087
parent615069eb08494d089bf24e43547fbc482ed699b8
bpo-44180: Fix edge cases in invalid assigment rules in the parser (GH-26283)

The invalid assignment rules are very delicate since the parser can
easily raise an invalid assignment when a keyword argument is provided.
As they are very deep into the grammar tree, is very difficult to
specify in which contexts these rules can be used and in which don't.
For that, we need to use a different version of the rule that doesn't do
error checking in those situations where we don't want the rule to raise
(keyword arguments and generator expressions).

We also need to check if we are in left-recursive rule, as those can try
to eagerly advance the parser even if the parse will fail at the end of
the expression. Failing to do this allows the parser to start parsing a
call as a tuple and incorrectly identify a keyword argument as an
invalid assignment, before it realizes that it was not a tuple after all.
Grammar/python.gram
Lib/test/test_syntax.py
Parser/parser.c
Parser/pegen.c
Parser/pegen.h
Tools/peg_generator/pegen/c_generator.py