https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108531
--- Comment #6 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- My only real addition to my previous comments in the referenced glibc bug report is that, given we defined _Float32 which has the same "not promoted at language level in variable arguments" property as _Imaginary float and let it have the ABI arising naturally from the back ends in the absence of target maintainers / ABI maintainers choosing something different, it would probably be reasonable to do the same thing for imaginary types; this case is rather different from _BitInt where there are significant ABI choices to be made for each architecture (and I've filed bugs on various ABI repositories to request that such ABIs be defined). It would be good if psABI maintainers kept up more with C standard features, however.