http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52773 --- Comment #7 from Mikael Pettersson <mikpe at it dot uu.se> --- Bernd Schmidt has posted a patch for review: http://gcc.gnu.org/ml/gcc-patches/2013-06/msg01147.html