http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42371
Martin Jambor <jamborm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- URL| |http://gcc.gnu.org/ml/gcc-p | |atches/2013-04/msg01032.htm | |l CC| |jamborm at gcc dot gnu.org --- Comment #16 from Martin Jambor <jamborm at gcc dot gnu.org> 2013-04-17 15:58:17 UTC --- I have submitted a patch to address this issue: http://gcc.gnu.org/ml/gcc-patches/2013-04/msg01032.html