https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106627
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> --- I think the patch is correct, please send it to gcc-patches mailing list.
marxin at gcc dot gnu.org via Gcc-bugs Wed, 31 Aug 2022 06:37:23 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106627
--- Comment #3 from Martin Liška <marxin at gcc dot gnu.org> --- I think the patch is correct, please send it to gcc-patches mailing list.