[Bug fortran/120163] [15/16 Regression] Can not import module containig call to pure routine via abstract interface

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=120163

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Thomas Koenig <tkoe...@gcc.gnu.org>:

https://gcc.gnu.org/g:004bf889e0b1b96ae50f93339104d3602a88deb5

commit r16-525-g004bf889e0b1b96ae50f93339104d3602a88deb5
Author: Thomas Koenig <tkoe...@gcc.gnu.org>
Date:   Sun May 11 07:40:23 2025 +0200

    Do not generate formal arglist from actual if we have already resolved it.

    This bug was another case of generating a formal arglist from
    an actual one where we should not have done so.  The fix is
    straightforward:  If we have resolved the formal arglist, we should
    not generare a new one.

    OK for trunk and backport?

    gcc/fortran/ChangeLog:

            PR fortran/120163
            * gfortran.h: Add formal_resolved to gfc_symbol.
            * resolve.cc (gfc_resolve_formal_arglist): Set it.
            (resolve_function): Do not call gfc_get_formal_from_actual_arglist
            if we already resolved a formal arglist.
            (resolve_call): Likewise.

    gcc/testsuite/ChangeLog:

            PR fortran/120163
            * gfortran.dg/interface_61.f90: New test.