http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53842
jim at jtan dot com changed: What |Removed |Added ---------------------------------------------------------------------------- Status|WAITING |RESOLVED Known to work| |4.7.1 Resolution| |FIXED Known to fail| |4.7.0 --- Comment #2 from jim at jtan dot com 2012-07-04 15:08:03 UTC --- You're right, 4.7.1 looks fine. Thanks.