http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43566
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-10-05 13:46:27 UTC --- (as it happens, yesterday I noticed myself this behavior. It seems weird, but maybe there is a rationale for it)
