http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53551
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-24 12:07:57 UTC --- Dodji, can we do something about this?
paolo.carlini at oracle dot com Fri, 24 Aug 2012 05:08:25 -0700
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53551
--- Comment #2 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-08-24 12:07:57 UTC --- Dodji, can we do something about this?