http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58816
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> --- Oh good. We can easily fix this then.
paolo.carlini at oracle dot com Mon, 21 Oct 2013 14:34:29 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58816
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> --- Oh good. We can easily fix this then.