http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50686
--- Comment #41 from ro at CeBiTec dot Uni-Bielefeld.DE <ro at CeBiTec dot Uni-Bielefeld.DE> 2013-04-15 09:27:09 UTC --- > I'm currently running a bootstrap of gcc 4.7.3 with this patch applied > and without any special --enable-checking=release. It just entered > stage2, so seems to be fine. > > I'll report once the bootstrap completed successfully. This has happened now, so the patch is good to go. Thanks. Rainer