https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107927
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- It might be fixed by r13-4393-gcca06f0d6d76b0
redi at gcc dot gnu.org via Gcc-bugs Thu, 01 Dec 2022 06:23:49 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107927
--- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- It might be fixed by r13-4393-gcca06f0d6d76b0