https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99602
--- Comment #33 from Paul Thomas <pault at gcc dot gnu.org> --- (In reply to Jürgen Reuter from comment #32) > Ready for merge? Hi Juergen, Daytime work intervened. I will submit to the list today. Thanks for all your support BTW. Paul