http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57638
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> --- No problem, patch sent.
paolo.carlini at oracle dot com Tue, 18 Jun 2013 17:19:01 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57638
--- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> --- No problem, patch sent.