http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54710
--- Comment #3 from Paolo Carlini <paolo.carlini at oracle dot com> 2012-09-25 17:25:48 UTC --- Well, if we are interested in the normal user experience, I guess we should also time with --disable-checking. Not that I think it will make a big difference..