https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111246
--- Comment #4 from Luke Geeson <luke.geeson at cs dot ucl.ac.uk> --- Add Wilco also addressed this for AArch64 in GCC: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108891
luke.geeson at cs dot ucl.ac.uk via Gcc-bugs Wed, 30 Aug 2023 13:49:09 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111246
--- Comment #4 from Luke Geeson <luke.geeson at cs dot ucl.ac.uk> --- Add Wilco also addressed this for AArch64 in GCC: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108891