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..

Reply via email to