https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90339
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Jonathan Wakely from comment #1) > But bugzilla is not the place for that discussion, it's not a bug. I probably should have said that I think the g...@gcc.gnu.org mailing list is the right place.