http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25137
--- Comment #22 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-05-29 09:05:51 UTC --- Oops, sorry, I think at some point I wondered if something was in order but then forgot. If you can tell me the right syntax, I can add it, must be quite simple, right?