https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57573
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- Agreed, I'm taking care of that.
paolo.carlini at oracle dot com Thu, 26 Jun 2014 12:34:09 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=57573
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- Agreed, I'm taking care of that.