http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57885
--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> --- Francois, you attached to the wrong bug.
paolo.carlini at oracle dot com Fri, 02 Aug 2013 14:38:39 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57885
--- Comment #8 from Paolo Carlini <paolo.carlini at oracle dot com> --- Francois, you attached to the wrong bug.