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