http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57717
jules at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jules at gcc dot gnu.org --- Comment #7 from jules at gcc dot gnu.org --- Here's another candidate patch: http://gcc.gnu.org/ml/gcc-patches/2013-08/msg00668.html