https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65146
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #9) > Did this ever get taken to the ABI group? I've done so now.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65146
--- Comment #11 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #9) > Did this ever get taken to the ABI group? I've done so now.