http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47065 --- Comment #7 from Francois-Xavier Coudert <fxcoudert at gcc dot gnu.org> 2011-11-09 10:09:15 UTC --- Thomas, I think this is mostly fixed, isn't it? If so, we could close it.