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.

Reply via email to