[Bug fortran/52052] New: [Coarray] Properly handle coarray components of derived types

[Bug fortran/52052] New: [Coarray] Properly handle coarray components of derived types

[burnus at gcc dot gnu.org]

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

             Bug #: 52052
           Summary: [Coarray] Properly handle coarray components of
                    derived types
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: burnus@gcc.gnu.org


Special care needs to be taken with coarrays - and in particular coarray
components; they may only be collectively allocated and deallocated.

In particular:

Intrinsic assignment: Contrary to normal allocatable components,
no reallocation is allowed. The programmer guarantees that the shape and
type parameters are suitable.

Caveat: Be aware of allocatable components nested within coarray components -
and issues with polymorphism.

Please also check that:
- Calling caf_register is done with ALLOCATE, also with SOURCE=
- Calling of caf_deregister when leaving the scope/calling DEALLOCATE
- Special handling of polymorphic coarray components
- Whether there are issues regarding _def_init and _copy; cf. PR 51947.
Consider whether a simple INTENT_INOUT for _copy would be more appropriate.
- Check that there is indeed no realloc on assignment for coarray variables.

[Bug fortran/52052] [Coarray] Properly handle coarray components of derived types

[burnus at gcc dot gnu.org]

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

--- Comment #1 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Tobias Burnus from comment #0)
> Intrinsic assignment: Contrary to normal allocatable components,
> no reallocation is allowed. The programmer guarantees that the shape and
> type parameters are suitable.

Patches:
- http://gcc.gnu.org/ml/fortran/2013-06/msg00137.html (committed)
- http://gcc.gnu.org/ml/fortran/2013-07/msg00041.html (committed)

[Bug fortran/52052] [Coarray] Properly handle coarray components of derived types

[burnus at gcc dot gnu.org]

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

--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
Author: burnus
Date: Mon Jul 22 17:28:56 2013
New Revision: 201140

URL: http://gcc.gnu.org/viewcvs?rev=201140&root=gcc&view=rev
Log:
2013-07-22  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57906
        PR fortran/52052
        * class.c (gfc_build_class_symbol): Set coarray_comp.
        * trans-array.c (structure_alloc_comps): For coarrays,
        directly use the data pointer address.

2013-07-22  Tobias Burnus  <burnus@net-b.de>

        PR fortran/57906
        PR fortran/52052
        * coarray/lib_realloc_1.f90: Permit optimization.
        * gfortran.dg/coarray_31.f90: New.


Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/class.c
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gfortran.dg/coarray/lib_realloc_1.f90

[Bug fortran/52052] [Coarray] Properly handle coarray components of derived types

[dominiq at lps dot ens.fr]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52052

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2015-10-20
     Ever confirmed|0                           |1

--- Comment #3 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Patch committed more than two years ago. Any reason to keep this PR opened?