https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93338
--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> --- This is fixed on current 10- through 13-branches. I don't quite know why it hasn't been closed. Paul
pault at gcc dot gnu.org via Gcc-bugs Tue, 18 Apr 2023 08:16:37 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93338
--- Comment #12 from Paul Thomas <pault at gcc dot gnu.org> --- This is fixed on current 10- through 13-branches. I don't quite know why it hasn't been closed. Paul