http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57987
--- Comment #5 from Martin Jambor <jamborm at gcc dot gnu.org> --- OK, so eventually I have posted the patch to the mailing list: http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00074.html Thanks.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57987
--- Comment #5 from Martin Jambor <jamborm at gcc dot gnu.org> --- OK, so eventually I have posted the patch to the mailing list: http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00074.html Thanks.