https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65146
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #11) > (In reply to Jonathan Wakely from comment #9) > > Did this ever get taken to the ABI group? > > I've done so now. I tried to start a discussion at the ia32-abi group, twice, but the moderator never approved them. At this point I no longer care enough to keep trying.
