]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
bpo-36256: Fix bug in parsermodule when parsing if statements (GH-12477)
authorPablo Galindo <Pablogsal@gmail.com>
Thu, 21 Mar 2019 23:33:02 +0000 (23:33 +0000)
committerGitHub <noreply@github.com>
Thu, 21 Mar 2019 23:33:02 +0000 (23:33 +0000)
commit9a0000d15d27361eaa47b77600c7c00a9787a894
tree8366b22576a95d72d291e34121ef0c71ff6f9fe8
parentaedc273fd90e31c7a20904568de3115f8957395b
bpo-36256: Fix bug in parsermodule when parsing if statements (GH-12477)

bpo-36256: Fix bug in parsermodule when parsing if statements

In the parser module, when validating nodes before starting the parsing with to create a ST in "parser_newstobject" there is a problem that appears when two arcs in the same DFA state has transitions with labels with the same type. For example, the DFA for if_stmt has a state with
two labels with the same type: "elif" and "else" (type NAME). The algorithm tries one by one the arcs until the label that starts the arc transition has a label with the same type of the current child label we are trying to accept. In this case, the arc for "elif" comes before the arc for "else"and passes this test (because the current child label is "else" and has the same type as "elif"). This lead to expecting a namedexpr_test (305) instead of a colon (11). The solution is to compare also the string representation (in case there is one) of the labels to see if the transition that we have is the correct one.
Lib/test/test_parser.py
Misc/NEWS.d/next/Core and Builtins/2019-03-21-00-24-18.bpo-12477.OZHa0t.rst [new file with mode: 0644]
Modules/parsermodule.c