https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107538
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Taken from https://savannah.gnu.org/bugs/?55547#comment0 but I don't think anybody ever reported it here.
redi at gcc dot gnu.org via Gcc-bugs Sat, 05 Nov 2022 14:38:06 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107538
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Taken from https://savannah.gnu.org/bugs/?55547#comment0 but I don't think anybody ever reported it here.