http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56330
--- Comment #7 from Dodji Seketeli <dodji at gcc dot gnu.org> 2013-02-16 09:30:10 UTC --- FWIW, I have posted the patch for this to http://gcc.gnu.org/ml/gcc-patches/2013-02/msg00795.html
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56330
--- Comment #7 from Dodji Seketeli <dodji at gcc dot gnu.org> 2013-02-16 09:30:10 UTC --- FWIW, I have posted the patch for this to http://gcc.gnu.org/ml/gcc-patches/2013-02/msg00795.html