https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65146
--- Comment #13 from H.J. Lu <hjl.tools at gmail dot com> --- (In reply to Jonathan Wakely from comment #12) > (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. There is no pending message at https://groups.google.com/forum/#!forum/ia32-abi Which email address were you using to send email to ia32-abi? You need to send email from the email address you used to subscribe ia32-abi.