https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105831
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Right. The patch looks correct, but patches should be sent to the list, not added to bugzilla: https://gcc.gnu.org/contribute.html#patches
