http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56725
--- Comment #11 from Paolo Carlini <paolo.carlini at oracle dot com> 2013-03-27 20:30:36 UTC --- Ok, thanks a lot again. Then however we have to tweak a bit that comment too (it only mentions warnings for true, instead means any diagnostics is actually reported (that's much better!))