[Bug fortran/63205] [OOP] Wrongly rejects type = class (for identical declared type)

["pault at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #10 from Paul Thomas <pault at gcc dot gnu.org> ---
Author: pault
Date: Fri Feb  6 18:15:01 2015
New Revision: 220482

URL: https://gcc.gnu.org/viewcvs?rev=220482&root=gcc&view=rev
Log:
2015-02-06  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/63205
    * gfortran.h: Add 'must finalize' field to gfc_expr and
    prototypes for gfc_is_alloc_class_scalar_function and for
    gfc_is_alloc_class_array_function.
    * expr.c (gfc_is_alloc_class_scalar_function,
    gfc_is_alloc_class_array_function): New functions.
    * trans-array.c (gfc_add_loop_ss_code): Do not move the
    expression for allocatable class scalar functions outside the
    loop.
    (conv_array_index_offset): Cope with deltas being NULL_TREE.
    (build_class_array_ref): Do not return with allocatable class
    array functions. Add code to pick out the returned class array.
    Dereference if necessary and return if not a class object.
    (gfc_conv_scalarized_array_ref): Cope with offsets being NULL.
    (gfc_walk_function_expr): Return an array ss for the result of
    an allocatable class array function.
    * trans-expr.c (gfc_conv_subref_array_arg): Remove the assert
    that the argument should be a variable. If an allocatable class
    array function, set the offset to zero and skip the write-out
    loop in this case.
    (gfc_conv_procedure_call): Add allocatable class array function
    to the assert. Call gfc_conv_subref_array_arg for allocatable
    class array function arguments with derived type formal arg..
    Add the code for handling allocatable class functions, including
    finalization calls to prevent memory leaks.
    (arrayfunc_assign_needs_temporary): Return if an allocatable
    class array function.
    (gfc_trans_assignment_1): Set must_finalize to rhs expression
    for allocatable class functions. Set scalar_to_array as needed
    for scalar class allocatable functions assigned to an array.
    Nullify the allocatable components corresponding the the lhs
    derived type so that the finalization does not free them.

2015-02-06  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/63205
    * gfortran.dg/class_to_type_4.f90: New test

Added:
    trunk/gcc/testsuite/gfortran.dg/class_to_type_4.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/gfortran.h
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/testsuite/ChangeLog