http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54146
--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> 2012-07-31 18:47:48 UTC --- (In reply to comment #1) > Are you compiling GCC with --enable-checking=release to do the timings? I first noticed the issue with the compiler provided by debian (4.7.1), which has --enable-checking=release. I then checked with a snapshot from 3 days ago which doesn't have the option, and the results were about the same.