https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113837
--- Comment #3 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Jakub Jelinek from comment #2) > OT, what is the state of the ia32 _BitInt ABI? I'd really like to enable it > in GCC 14 even for ia32 (and perhaps -mx32 if you care about that case). I think we should leave ia32 alone. x32 uses the same psABI as x86-64.