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 :-)