http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49132
--- Comment #2 from Jason Merrill <jason at gcc dot gnu.org> 2011-05-23 22:08:46 UTC --- It's annoying how GCC bugzilla tends not to send mail to people when I add them to CC even if I also add a comment. Anyway, Fabien, please take a look at this bug.