http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56815
--- Comment #17 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-04-03 12:18:37 UTC --- Ok, let's handle that separately.
paolo.carlini at oracle dot com Wed, 03 Apr 2013 05:18:55 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56815
--- Comment #17 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-04-03 12:18:37 UTC --- Ok, let's handle that separately.