https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92840
--- Comment #2 from jules at gcc dot gnu.org --- I think that looks OK, thanks.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92840
--- Comment #2 from jules at gcc dot gnu.org --- I think that looks OK, thanks.