https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94899
--- Comment #7 from Gabriel Ravier <gabravier at gmail dot com> --- I don't know if I've missed something obvious but this still appears to be fixed.
gabravier at gmail dot com via Gcc-bugs Fri, 17 Feb 2023 12:46:11 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94899
--- Comment #7 from Gabriel Ravier <gabravier at gmail dot com> --- I don't know if I've missed something obvious but this still appears to be fixed.