http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56158
Paolo Carlini <paolo.carlini at oracle dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |bkoz at redhat dot com --- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-01-31 10:08:33 UTC --- Crazy nobody noticed so far. So... Is this something we can commit right now? Assuming there aren't ABI implications, I would be in favor. I'm also adding Benjamin in CC, I think I wasn't contributing yet, when this code went in ;)