re PR fortran/18918 (Eventually support Fortran 2008's coarrays [co-arrays])

2011-05-29  Tobias Burnus  <burnus@net-b.de>
            Richard Guenther  <rguenther@suse.de>

        PR fortran/18918
        * trans-types.c (gfc_get_nodesc_array_type): Don't mess with
        the type's TREE_TYPE.
        * trans-array.c (gfc_conv_array_ref): Use TYPE_MAIN_VARIANT.
        * trans.c (gfc_build_array_ref): Ditto.

2011-05-29  Tobias Burnus  <burnus@net-b.de>

        PR fortran/18918
        * gfortran.dg/coarray_23.f90: New.


Co-Authored-By: Richard Guenther <rguenther@suse.de>

From-SVN: r174410
This commit is contained in:
Tobias Burnus 2011-05-29 20:15:08 +02:00 committed by Tobias Burnus
parent 269e0e1853
commit 8a5c4899e8
6 changed files with 30 additions and 6 deletions

View File

@ -1,3 +1,12 @@
2011-05-29 Tobias Burnus <burnus@net-b.de>
Richard Guenther <rguenther@suse.de>
PR fortran/18918
* trans-types.c (gfc_get_nodesc_array_type): Don't mess with
the type's TREE_TYPE.
* trans-array.c (gfc_conv_array_ref): Use TYPE_MAIN_VARIANT.
* trans.c (gfc_build_array_ref): Ditto.
2011-05-27 Tobias Burnus <burnus@net-b.de>
PR fortran/18918

View File

@ -2628,7 +2628,7 @@ gfc_conv_array_ref (gfc_se * se, gfc_array_ref * ar, gfc_symbol * sym,
se->expr = build_fold_indirect_ref_loc (input_location, se->expr);
/* Use the actual tree type and not the wrapped coarray. */
se->expr = fold_convert (TREE_TYPE (TREE_TYPE (se->expr)), se->expr);
se->expr = fold_convert (TYPE_MAIN_VARIANT (TREE_TYPE (se->expr)), se->expr);
return;
}

View File

@ -1423,10 +1423,7 @@ gfc_get_nodesc_array_type (tree etype, gfc_array_spec * as, gfc_packed packed,
if (as->rank)
type = make_node (ARRAY_TYPE);
else
{
type = build_variant_type_copy (etype);
TREE_TYPE (type) = etype;
}
type = build_variant_type_copy (etype);
GFC_ARRAY_TYPE_P (type) = 1;
TYPE_LANG_SPECIFIC (type)

View File

@ -320,7 +320,7 @@ gfc_build_array_ref (tree base, tree offset, tree decl)
{
gcc_assert (GFC_TYPE_ARRAY_CORANK (type) > 0);
return fold_convert (TREE_TYPE (type), base);
return fold_convert (TYPE_MAIN_VARIANT (type), base);
}
gcc_assert (TREE_CODE (type) == ARRAY_TYPE);

View File

@ -1,3 +1,8 @@
2011-05-29 Tobias Burnus <burnus@net-b.de>
PR fortran/18918
* gfortran.dg/coarray_23.f90: New.
2011-05-29 Richard Sandiford <rdsandiford@googlemail.com>
From Ryan Mansfield

View File

@ -0,0 +1,13 @@
! { dg-do compile }
! { dg-options "-fcoarray=single" }
!
! PR fortran/18918
!
! The example was ICEing before as the tree-decl
! of the type was wrong.
!
subroutine test
complex, save :: z[*]
if (z /= cmplx (0.0, 0.0)) call abort()
end subroutine test