http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33255 --- Comment #14 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-07-22 17:00:57 UTC --- Somebody should add a "Thumb Up" button to Bugzilla.