http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58137
--- Comment #5 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- OK, a slightly improved patch was posted at: http://gcc.gnu.org/ml/gcc-patches/2013-08/msg01099.html
bernd.edlinger at hotmail dot de Tue, 20 Aug 2013 04:04:17 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58137
--- Comment #5 from Bernd Edlinger <bernd.edlinger at hotmail dot de> --- OK, a slightly improved patch was posted at: http://gcc.gnu.org/ml/gcc-patches/2013-08/msg01099.html