Failed assertion in codegen_nameop

Crash report

What happened?

>>> compile(source=b'Fal\xc5\xbfe', filename="<test>", mode="exec")
python: Python/codegen.c:3189: int codegen_nameop(compiler *, location, identifier, expr_context_ty): Assertion `!_PyUnicode_EqualToASCIIString(name, "None") && !_PyUnicode_EqualToASCIIString(name, "True") && !_PyUnicode_EqualToASCIIString(name, "False")' failed.
Aborted (core dumped)

The _PyPegen_new_identifier function normalizes to NFKC non-ASCII strings, which allows you to set keywords (None, True, False) with a different character representation as an identifier.

Found by Linux Verification Center (portal.linuxtesting.ru) with libFuzzer
Author S.Tereshin (s.tereshin@fobos-nt.ru)

CPython versions tested on:

CPython main branch

Operating systems tested on:

Linux

Output from running 'python -VV' on the command line:

Python 3.14.0a7+ (heads/main-dirty:3dfed2309, May 6 2025, 13:36:58) [Clang 18.1.8 (Fedora 18.1.8-1.fc40)]

Linked PRs

Fix pythongh-133516

I couldn't reproduce this:

Python 3.14.0a7+ (heads/main:3dfed23092, May  6 2025, 16:44:44) [GCC 14.2.1 20250207] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> compile(source=b'Fal\xc5\xbfe', filename="<test>", mode="exec")
Traceback (most recent call last):
  File "<python-input-0>", line 1, in <module>
    compile(source=b'Fal\xc5\xbfe', filename="<test>", mode="exec")
    ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ValueError: identifier field can't represent 'False' constant

I couldn't reproduce this:

Python 3.14.0a7+ (heads/main:3dfed23092, May  6 2025, 16:44:44) [GCC 14.2.1 20250207] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> compile(source=b'Fal\xc5\xbfe', filename="<test>", mode="exec")
Traceback (most recent call last):
  File "<python-input-0>", line 1, in <module>
    compile(source=b'Fal\xc5\xbfe', filename="<test>", mode="exec")
    ~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
ValueError: identifier field can't represent 'False' constant

Configure without --with-pydebug, only --with-assertions

gh-133516: Raise `ValueError` when constants `True`, `False` or `None…

[3.14] gh-133516: Raise `ValueError` when constants `True`, `False` o…

[3.13] pythongh-133516: Raise `ValueError` when constants `True`, `Fa…

[3.13] gh-133516: Raise `ValueError` when constants `True`, `False` o…

pythongh-133516: Raise `ValueError` when constants `True`, `False` or…

Navigation Menu

Repository navigation

Failed assertion in `codegen_nameop` #133516

Crash report

What happened?

CPython versions tested on:

Operating systems tested on:

Output from running 'python -VV' on the command line:

Linked PRs

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Failed assertion in codegen_nameop #133516

Description

Crash report

What happened?

CPython versions tested on:

Operating systems tested on:

Output from running 'python -VV' on the command line:

Linked PRs

Activity

ZeroIntensity commented on May 6, 2025

TERESH1 commented on May 7, 2025

Metadata

Metadata

Assignees

Labels

Projects

Milestone

Relationships

Development

Issue actions

Failed assertion in `codegen_nameop` #133516