https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118041
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks, I'll apply this patch, but for next time please just send the patch to [email protected] - there's no need to open a bug if you already have a patch.
