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