http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56475
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-27 20:24:30 UTC --- I agree. Care to send a patch for that?
paolo.carlini at oracle dot com Wed, 27 Feb 2013 12:25:25 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56475
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-02-27 20:24:30 UTC --- I agree. Care to send a patch for that?