http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58211
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- *** Bug 58212 has been marked as a duplicate of this bug. ***
paolo.carlini at oracle dot com Wed, 21 Aug 2013 08:38:54 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58211
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> --- *** Bug 58212 has been marked as a duplicate of this bug. ***