[Bug fortran/44672] New: [F2008] ALLOCATE with SOURCE and no array-spec

[Bug fortran/44672] New: [F2008] ALLOCATE with SOURCE and no array-spec

[burnus at gcc dot gnu dot org]

Follow up to PR 43388.

Currently,
   ALLOCATE (var(allocate-shape-spec-list), SOURCE=source-expr)
works but
   ALLOCATE (var(allocate-shape-spec-list), SOURCE=array-source-expr)
does not; in the latter case the array shape should be taken from the SOURCE --
this is a new Fortran 2008 feature.

Currently, it is rejected with:

allocate(a, source=c) ! FAILS but is valid F2008
         1
Error: Array specification required in ALLOCATE statement at (1)


Test case:

type t
end type t
type(t) :: a(:), b, c(:)
allocatable :: a,b,c
allocate(b,c(5))
allocate(a(5), source=b) ! OK 
allocate(a, source=c) ! FAILS but is valid F2008
end


>From the standards. Fortran 2003 has:

C628 (R628) An allocate-shape-spec-list shall appear if
            and only if the allocate-object is an array.

C632 (R623) The source-expr shall be a scalar or have the same
            rank as allocate-object.


While Fortran 2008 has:

C633 (R631) If allocate-object is an array either allocate-shape-spec-list
            shall appear or source-expr shall appear and have the same rank
            as allocate-object. If allocate-object is scalar,
            allocate-shape-spec-list shall not appear.

C638 (R626) Each allocate-object shall be type compatible (4.3.1.3) with
            source-expr. If SOURCE= appears, source-expr shall be a scalar
            or have the same rank as each allocate-object.


-- 
           Summary: [F2008] ALLOCATE with SOURCE and no array-spec
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


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