http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54860
--- Comment #14 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-10-09 21:28:44 UTC --- I have submitted the patch to http://gcc.gnu.org/ml/gcc-patches/2012-10/msg00914.html.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54860
--- Comment #14 from dodji at seketeli dot org <dodji at seketeli dot org> 2012-10-09 21:28:44 UTC --- I have submitted the patch to http://gcc.gnu.org/ml/gcc-patches/2012-10/msg00914.html.