http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58822
--- Comment #23 from Paolo Carlini <paolo.carlini at oracle dot com> --- Thanks Manuel, I knew we had something.
paolo.carlini at oracle dot com Wed, 23 Oct 2013 06:59:02 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58822
--- Comment #23 from Paolo Carlini <paolo.carlini at oracle dot com> --- Thanks Manuel, I knew we had something.