http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54735 --- Comment #11 from Markus Trippelsdorf <markus at trippelsdorf dot de> 2012-10-02 12:08:09 UTC --- It's the same bug. The only difference is that I use --enable-checking=release.