While looking at #87447 I've noticed that there are three places in cpython where assert(0) is used instead of Py_UNREACHABLE macro:

As the docs say:

Use this when you have a code path that cannot be reached by design.
For example, in the default: clause in a switch statement for which
all possible values are covered in case statements. Use this in places
where you might be tempted to put an assert(0) or abort() call.

The intent with Py_UNREACHABLE is clearer and error message is nicer.

Linked PRs

• gh-100577: Replace assert(0) with Py_UNREACHABLE in symtable.c #100579