subroutine foo (n)
  integer :: n
  type bar
    integer :: x (n)
  end type bar
  type (bar) :: q
  q%x = 6
end subroutine foo

should be rejected.  If an array in derived type doesn't have POINTER
attribute,
it shall be explicit shape with constant bounds, if it has POINTER attribute,
it must be deferred shape array.


-- 
           Summary: Accepts non-constant length arrays in derived types
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Keywords: accepts-invalid
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jakub at gcc dot gnu dot org


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

Reply via email to