https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91025
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Thanks! As per https://gcc.gnu.org/contribute.html#patches patches should be sent to the mailing list for review. They get missed/ignored when attached to bugzilla. If this is your first patch for GCC it's probably small enough to not need a copyright assignment, although you might want to complete one anyway, see https://gcc.gnu.org/contribute.html#legal Thanks again.