http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56725
--- Comment #12 from Manuel López-Ibáñez <manu at gcc dot gnu.org> 2013-03-27 20:37:05 UTC --- That was the intention, if the comment or the behaviour does not match this, then I did a mistake implementing it, and it is a bug in my opinion.