http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57548
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> --- What happened to the patch?
paolo.carlini at oracle dot com Fri, 02 Aug 2013 09:41:38 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57548
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> --- What happened to the patch?