http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37144
--- Comment #35 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-03-04 12:05:13 UTC --- Benjamin, should this be closed as fixed for 4.7?
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37144
--- Comment #35 from Jonathan Wakely <redi at gcc dot gnu.org> 2012-03-04 12:05:13 UTC --- Benjamin, should this be closed as fixed for 4.7?