_PyCode_VerifyStateless(): Assert Fails If a Name Is Both a Global And an Attr

[ericsnowcurrently]

Crash report

Bug description:

For example, the following function will trigger the problem:

import pprint

def spam():
    pprint.pprint([])

Crash in test_code (on a debug build):

python: Objects/codeobject.c:1944: _PyCode_SetUnboundVarCounts: Assertion `unbound.total <= counts->unbound.total' failed.

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Linked PRs

• gh-135437: Account For Duplicate Names in _PyCode_SetUnboundVarCounts() #135438
• [3.14] gh-135437: Account For Duplicate Names in _PyCode_SetUnboundVarCounts() (gh-135438) #135493