http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52440
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> --- Fixed in 4.7.3. I'm adding the testcase and closing the bug.
paolo.carlini at oracle dot com Mon, 10 Jun 2013 08:52:14 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52440
--- Comment #1 from Paolo Carlini <paolo.carlini at oracle dot com> --- Fixed in 4.7.3. I'm adding the testcase and closing the bug.