http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57651
meadori at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|meadori at gcc dot gnu.org |doko at gcc dot gnu.org --- Comment #5 from meadori at gcc dot gnu.org --- Matthias, I see where you already have a proposed patch here: http://gcc.gnu.org/ml/gcc-patches/2013-06/msg01134.html Assigning to you.