https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125192
--- Comment #15 from Mikael Morin <mikael at gcc dot gnu.org> --- (In reply to Jürgen Reuter from comment #14) > Ah, one needs to include also this commit here, right? > https://gcc.gnu.org/cgit/gcc/commit/ > ?id=c5daf838d19adc39dab9601e996cb4ec08dedda5 Yes. It's not shorter in the end. But it's similar to what comment #5 was doing.
