http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52614
--- Comment #9 from William J. Schmidt <wschmidt at gcc dot gnu.org> 2012-03-28 16:28:42 UTC --- Dominique, can you please post your patches out on the gcc-patches mailing list so they can be approved? Again, I'm happy to commit them once they've met approval by the maintainers, but I'm not permitted to post other people's patches. Thanks, Bill