https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109948
--- Comment #9 from Paul Thomas <pault at gcc dot gnu.org> --- By the way, the patch regtests OK Do you want to do the honours or shall I? I think that this rates as an 'obvious' fix. Paul
pault at gcc dot gnu.org via Gcc-bugs Fri, 26 May 2023 03:16:03 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109948
--- Comment #9 from Paul Thomas <pault at gcc dot gnu.org> --- By the way, the patch regtests OK Do you want to do the honours or shall I? I think that this rates as an 'obvious' fix. Paul