https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83531
--- Comment #10 from Iain Sandoe <iains at gcc dot gnu.org> --- (In reply to MCCCS from comment #6) > After reading your comment, I noticed that > there were two things I forgot to mention: > But yes, there's no need to hurry > to fix it. It's existed since > October 2017; no one has noticed. However, I do want to fix it - and I need a name and email address to put onto the patch credits (or you can post your patch independently - either works).