[Bug fortran/86297] New: rejects valid code on type extension

[juergen.reuter at desy dot de]

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

            Bug ID: 86297
           Summary: rejects valid code on type extension
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: juergen.reuter at desy dot de
  Target Milestone: ---

The following code is rejected my gfortran 9.0 (I also checked 5.4.0). It is
accepted by nagfor 6.2 and ifort 18 and 19beta, but was rejected by ifort 17
with the same argument as by gfortran. It is rejected by PGI fortran v18.5.
Apparently, it is from an interp F08/0052 in F2008 corrigendum one and was
discussed by Ian Harvey on c.l.f. on July 5, 2016 under the topic
"Interpretation F08/0052 (overriding private bindings) ". Somehow, ifort
changed their minds to accept this code, so it is standard-compliant? 


MODULE example1_m1
  TYPE t1
   CONTAINS
     PROCEDURE,PRIVATE,NOPASS :: p ! (1).
  END TYPE t1
CONTAINS
  SUBROUTINE p
    PRINT *,'p'
  END SUBROUTINE p
  SUBROUTINE do_p(x)
    CLASS(t1) x
    CALL x%p
  END SUBROUTINE do_p
END MODULE example1_m1
MODULE example1_m2
  USE example1_m1
  TYPE,EXTENDS(t1) :: t2
   CONTAINS
     PROCEDURE,NOPASS :: p => p2 ! (2).
  END TYPE t2
CONTAINS
  SUBROUTINE p2(n)
    PRINT *,'p2',n
  END SUBROUTINE p2
END MODULE example1_m2
~