[Bug fortran/52013] New: [OOP] Polymorphism and coarrays: Support as class container

[burnus at gcc dot gnu.org]

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

             Bug #: 52013
           Summary: [OOP] Polymorphism and coarrays: Support as class
                    container
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


Currently, the codimension is ignored in the class container.

Result: accepts-invalid, wrong-code, and ICE.


Example for the former; using coarray dummies in elemental procs is invalid:

type t
end type t
contains
  elemental subroutine f(x) 
    class(t), intent(inout) :: x ! Valid
  end subroutine
  elemental subroutine g(y)
    class(t), intent(inout) :: y[*] ! Invalid, but not diagnosed
  end subroutine
end