https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66301 --- Comment #4 from Martin Jambor <jamborm at gcc dot gnu.org> --- (In reply to Martin Jambor from comment #3) > I have proposed a fix on the mailing list: > Oops, this is the correct URL :-) https://gcc.gnu.org/ml/gcc-patches/2015-06/msg00867.html