http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55671 --- Comment #4 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-12-13 10:41:49 UTC --- I agree, I suspected it was by the design. Since Manuel worked on this, let's wait a bit before closing the Bug.