https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78865
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |ASSIGNED
--- Comment #6 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Hijacking the code for explicit interfaces is not going to work.
We need a separate code path to compare formal with actual argument
lists when the procedure is known as a global symbol.
This will also allow to flag code like
subroutine foo(a)
real, dimension(:) :: a
end subroutine foo
program main
real :: a(3)
call foo(a)
end program main
which is also illegal.
