http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54269
--- Comment #2 from Richard Guenther <rguenth at gcc dot gnu.org> 2012-08-15 10:05:26 UTC --- Well, that's ENABLE_CHECKING code. Are you sure 4.7 built with --enable-checking=yes does not exhibit this behavior?