https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103438
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks for the report, and the patch. After addressing Andrew's comment could you please send a new patch to the gcc-patches mailing list for review? Patches attached here tend to get missed or forgotten about. https://gcc.gnu.org/contribute.html#patches See also https://gcc.gnu.org/dco.html Thanks again!
