https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97896 --- Comment #8 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to Mikael Morin from comment #7) > Well, it doesn’t fix comment #5. :-( Pilot error, it does fix it.