https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346
--- Comment #9 from avieira at gcc dot gnu.org --- Hi Eric, I realised the same, got a patch pending here: https://gcc.gnu.org/pipermail/gcc-patches/2022-October/604139.html
avieira at gcc dot gnu.org via Gcc-bugs Sun, 23 Oct 2022 07:47:26 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107346
--- Comment #9 from avieira at gcc dot gnu.org --- Hi Eric, I realised the same, got a patch pending here: https://gcc.gnu.org/pipermail/gcc-patches/2022-October/604139.html