_PyExecutorObject is exposed to the abidiff tool due to indirect use in PyCodeObject

Bug report

Bug description:

The problem is that PyCodeObject is thought of as part of the stable ABI in abidiff. _PyExecutorArray and thus _PyExecutorObject is not an opaque struct, so its fields and offsets are exposed as part of the stable ABI seen by the tool. Theoretically, this should be fine and not lead to crashes long as no one accesses the _PyExecutorObject, but still this is pretty annoying to have if we are to backport changes to the JIT that require changing the executor, as this will trigger a warning on abidiff tools.

There are two possible fixes, turn the executor object in the public header to be an opaque struct, or use a void pointer. I think both are fine, I'm inclined to link to the first one for type-safety reasons).

We can only fix this on main, as any prior version would break the ABIdiff/dump tools.

CPython versions tested on:

CPython main branch

Operating systems tested on:

No response

Linked PRs

• gh-153614

Bắt đầu bằng cách kiểm tra cách PyCodeObject gián tiếp expose _PyExecutorArray và _PyExecutorObject cho abidiff. So sánh hai cách tiếp cận được đề xuất —một public struct opaque hoặc một void pointer— và kiểm tra PR được liên kết gh-153614 để xem công việc hiện tại. Được xem là hoàn tất khi các field và offset của executor không còn được expose trong các phép so sánh stable-ABI mà không làm hỏng các ABI dump trước đó.