https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96692
--- Comment #3 from Gabriel Ravier <gabravier at gmail dot com> --- This seems to be fixed on trunk now, I think ?
gabravier at gmail dot com via Gcc-bugs Fri, 17 Feb 2023 18:01:47 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96692
--- Comment #3 from Gabriel Ravier <gabravier at gmail dot com> --- This seems to be fixed on trunk now, I think ?