http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30112 --- Comment #6 from Paolo Carlini <paolo.carlini at oracle dot com> 2011-07-21 15:49:16 UTC --- Agreed (indeed, I saw both in Bugzilla but never figured out which one you preferred ;)