http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54107
--- Comment #23 from Mikael Morin <mikael at gcc dot gnu.org> 2013-01-28 12:31:19 UTC --- Created attachment 29294 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29294 Draft patch for comment #4, to be tested. As I said on @fortran, I don't think it's possible to create recursive middle-end types. With this patch the dummy procedure gets a variadic function type, which is the best we can do in this case.