http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52538 --- Comment #4 from Jeffrey Yasskin <jyasskin at gcc dot gnu.org> 2012-04-27 17:47:30 UTC --- Is this ok for gcc-4_7-branch too? The other bug reports Jonathan mentioned won't be helped by a fix that skips 4.7.