https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98798
--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- ... and that has now been merged into the ABI document.
redi at gcc dot gnu.org via Gcc-bugs Tue, 30 Sep 2025 15:20:52 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98798
--- Comment #10 from Jonathan Wakely <redi at gcc dot gnu.org> --- ... and that has now been merged into the ABI document.