SystemError in re.match with a "*+" pattern

[aryla]

Bug report

The following code raises a SystemError.

import re
re.match('((x)|y|z)*+', 'xyz')

Error message:

Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "C:\Users\Arttu\AppData\Local\Programs\Python\Python311\Lib\re\__init__.py", line 166, in match
    return _compile(pattern, flags).match(string)
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
SystemError: The span of capturing group is wrong, please report a bug for the re module.

((x)|y|z)++ gives the same error but (?>((x)|y|z)*) does not.

Your environment

Python 3.11.2 (tags/v3.11.2:878ead1, Feb 7 2023, 16:38:35) [MSC v.1934 64 bit (AMD64)] on win32

Linked PRs

• gh-101955: Fix SystemError in possesive quantifier with alternative and group #111362
• [3.13] gh-101955: Fix SystemError in possesive quantifier with alternative and group (GH-111362) #126962
• [3.12] gh-101955: Fix SystemError in possesive quantifier with alternative and group (GH-111362) #126963

[ghost]

Should set state->repeat to non-NULL in SRE_OP_POSSESSIVE_REPEAT opcode.

[uyw4687]

I'll look into it

[corona10]

I'll look into it

Please go a head

[ghost]

I'll look into it

If you don't know much about sre (no offence), it's easier to start with this issue: #100061

[serhiy-storchaka]

Thanks @wjssz. The final code is his contribution.