https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110701
--- Comment #7 from Roger Sayle <roger at nextmovesoftware dot com> --- Patch proposed here: https://gcc.gnu.org/pipermail/gcc-patches/2023-July/625532.html
roger at nextmovesoftware dot com via Gcc-bugs Thu, 27 Jul 2023 11:23:57 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110701
--- Comment #7 from Roger Sayle <roger at nextmovesoftware dot com> --- Patch proposed here: https://gcc.gnu.org/pipermail/gcc-patches/2023-July/625532.html