http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58371
Martin Jambor <jamborm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED URL| |http://gcc.gnu.org/ml/gcc-p | |atches/2013-09/msg00840.htm | |l Assignee|unassigned at gcc dot gnu.org |jamborm at gcc dot gnu.org --- Comment #5 from Martin Jambor <jamborm at gcc dot gnu.org> --- I have posted the patch to the mailing list: http://gcc.gnu.org/ml/gcc-patches/2013-09/msg00840.html