http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53927
--- Comment #9 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2013-02-01 22:16:47 UTC --- > I think this would be a nice addition. OK, I'm attaching the patchlet. I can submit it when stage #1 opens.