http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51785
--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-02-28 15:35:59 UTC --- If the release managers agree, I would be in favor of a quick fix per Comment 3, with a huge comment in the code explaining the issue. But I can't test it right now.
