[Patch, fortran] [00/14] PR fortran/50420 Support coarray subreferences

[Mikael Morin <mikael dot morin at sfr dot fr>]

Hello, 

the following patches propose to fix bug fortran/50420:
gfortran has been rejecting coarrays as argument to the coarray intrinsics 
({l,u}cobound, image_index) if they had a subreference.
The standard, however, has:
   A subobject of a coarray is a coarray if it does not have any cosubscripts,
   vector subscripts, allocatable component selection, or pointer component
   selection.

The recent scalarizer patchset at 
http://gcc.gnu.org/ml/fortran/2011-09/msg00056.html
makes thing worse by changing a rejects-valid bug into a ice-on-valid bug.

These patches make the necessary change to accept coarray subreferences

The full patchset has passed the fortran testsuite successfully.
OK for trunk?



Patches layout

 01..04/14: Add support for non-full arrays in descriptor initialization code.

 05..09/14: Make walk_coarray initialize the scalarizer structs properly to
            accept expression with subreferences.

 10..11/14: Fix corank checking

     12/14: Accept coarray subreferences in simplify_cobound

     13/14: Fix gfc_build_array_type

     14/14: Fix gfc_build_array_ref

Attachment: pr50420-tests.CL
Description: Text document

Attachment: coarray_subobject_1.f90
Description: Text document

Attachment: subobject_1.f90
Description: Text document