https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97358
--- Comment #18 from Dan HorĂ¡k <dan at danny dot cz> --- So there is https://bugzilla.mozilla.org/show_bug.cgi?id=1671345 now, after I commented in the bug Jakub mentioned. I like such cooperation :-)