http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56430
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- What happened to this issue?
paolo.carlini at oracle dot com Tue, 11 Jun 2013 02:04:16 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56430
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- What happened to this issue?