https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119078
--- Comment #4 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:64a551f730564af58c83d2748436c9d90543fe1a commit r15-7964-g64a551f730564af58c83d2748436c9d90543fe1a Author: Thomas Koenig <tkoe...@gcc.gnu.org> Date: Tue Mar 11 17:40:57 2025 +0100 Abstract interfaces and dummy arguments are not global. The attached patch makes sure that procedures from abstract interfaces and dummy arguments are not put into the global symbol table, and are not checked against global symbols. gcc/fortran/ChangeLog: PR fortran/119078 * frontend-passes.cc (check_against_globals): Do not check for abstract interfaces or dummy arguments. * resolve.cc (gfc_verify_binding_labels): Adjust comment. Do not put abstract interfaces or dummy argument into global namespace. gcc/testsuite/ChangeLog: PR fortran/119078 * gfortran.dg/interface_58.f90: New test.