Hi Jakub,
Could we easily detect at resolve time whether a subroutine/function makes any implicitly prototyped calls and limit this workaround to those cases (i.e. only old-style Fortran)? I've mentioned it in the PR, but not sure how exactly to check that.
I think we could to that. We could look at all the external symbols and check with if (sym->attr.if_src == IFSRC_UNKNOWN) . Let me think about this some more... Regards Thomas