https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110930
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Ah yes, this is a dup of the second half of that one, but maybe worth keeping it separate.
redi at gcc dot gnu.org via Gcc-bugs Mon, 07 Aug 2023 08:36:56 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110930
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Ah yes, this is a dup of the second half of that one, but maybe worth keeping it separate.