]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
gh-132835: Add defensive NULL checks to MRO resolution (GH-134763)
authorEmma Smith <emma@emmatyping.dev>
Tue, 21 Oct 2025 21:48:29 +0000 (14:48 -0700)
committerGitHub <noreply@github.com>
Tue, 21 Oct 2025 21:48:29 +0000 (14:48 -0700)
commita8edca62fc6d44d16c7f86d49421be1a5ebea3e5
tree380e2c18c64aef6e4d298964f064b3107cdacd08
parent02c1abfc54954ec89a0c728823efde5ce7918a0f
gh-132835: Add defensive NULL checks to MRO resolution (GH-134763)

Currently, there are a few places where tp_mro could theoretically
become NULL, but do not in practice. This commit adds defensive checks for
NULL values to ensure that any changes do not introduce a crash and that
state invariants are upheld.

The assertions added in this commit are all instances where a NULL value would get passed to something not expecting a NULL, so it is better to catch an assertion failure than crash later on.

There are a few cases where it is OK for the return of lookup_tp_mro to be NULL, such as when passed to is_subtype_with_mro, which handles this explicitly.
Objects/typeobject.c