[Bug fortran/50517] New: gfortran must detect that actual argument type is different from dummy argument type (r178939)

[zeccav at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50517

             Bug #: 50517
           Summary: gfortran must detect that actual argument type is
                    different from dummy argument type (r178939)
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zeccav@gmail.com


! gfortran must detect that actual argument type is different from dummy
argument type (r178939)
      module m
       type t
        integer g
       end type
       type u
        integer g
       end type
      end module
      program main
       use m
       interface
        subroutine sub(tfunction)
         use m
! this is a type(t) function
         type(t), external :: tfunction
        end subroutine
       end interface
! this is a type(u) function
       type(u), external :: ufunction
       call sub(ufunction) ! gfortran should emit an error message here
      end program