Testcase from: http://gcc.gnu.org/ml/fortran/2005-07/msg00286.html subroutine a(p) type t integer :: t1 end type type(t) :: p p%t1 = 42 end subroutine subroutine b type u integer :: u1 end type type (u) :: q call a(q) print *, q%u1 end subroutine ------- Paul says this is valid Fortran code but Lahey's Fortran 95 front-end gives an error: 2603-S: "SOURCE.F90", line 13: Argument number '1' type of procedure 'a' shall be the same between definition and reference. The previous appearance is in 'line 1'.
This is important as this would help us not worry about the aliasing/getting the type incorrect for inlining. -- Summary: Accepts invalid Fortran 95 (different argument types) Product: gcc Version: 4.2.0 Status: UNCONFIRMED Keywords: accepts-invalid Severity: normal Priority: P3 Component: fortran AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: pinskia at gcc dot gnu dot org http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25686