http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55761
--- Comment #10 from Marc Glisse <glisse at gcc dot gnu.org> --- Oups, I didn't notice you had already worked on this. Please don't hesitate to post (and ping) your patch to gcc-patches next time. Also, I didn't touch tree-tailcall.c, that might still be needed...