http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53649 --- Comment #2 from Steven Fuerst <svfuerst at gmail dot com> 2012-06-13 15:40:19 UTC --- I'm using the version of 4.7 packaged in Debian unstable. It apparently contains everything up until June 12 in the 4.7 branch, plus a few other patches.