[Bug fortran/41600] [OOP] SELECT TYPE with associate-name => exp: Arrays not supported

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

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

--- Comment #11 from Paul Thomas <pault at gcc dot gnu.org> 2012-05-05 08:49:53 UTC ---
Author: pault
Date: Sat May  5 08:49:43 2012
New Revision: 187192

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=187192
Log:
2012-05-05  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/41600
    * trans-array.c (build_array_ref): New static function.
    (gfc_conv_array_ref, gfc_get_dataptr_offset): Call it.
    * trans-expr.c (gfc_get_vptr_from_expr): New function.
    (gfc_conv_derived_to_class): Add a new argument for a caller
    supplied vptr and use it if it is not NULL.
    (gfc_conv_procedure_call): Add NULL to call to above.
    symbol.c (gfc_is_associate_pointer): Return true if symbol is
    a class object.
    * trans-stmt.c (trans_associate_var): Handle class associate-
    names.
    * expr.c (gfc_get_variable_expr): Supply the array-spec if
    possible.
    * trans-types.c (gfc_typenode_for_spec): Set GFC_CLASS_TYPE_P
    for class types.
    * trans.h : Add prototypes for gfc_get_vptr_from_expr and
    gfc_conv_derived_to_class. Define GFC_CLASS_TYPE_P.
    * resolve.c (resolve_variable): For class arrays, ensure that
    the target expression has all the necessary _data references.
    (resolve_assoc_var): Throw a "not yet implemented" error for
    class array selectors that need a temporary.
    * match.c (copy_ts_from_selector_to_associate,
    select_derived_set_tmp, select_class_set_tmp): New functions.
    (select_type_set_tmp): Call one of last two new functions.
    (gfc_match_select_type): Copy_ts_from_selector_to_associate is
    called if associate-name is typed.

    PR fortran/53191
    * resolve.c (resolve_ref): C614 applied to class expressions.


2012-05-05  Paul Thomas  <pault@gcc.gnu.org>

    PR fortran/41600
    * gfortran.dg/select_type_26.f03 : New test.
    * gfortran.dg/select_type_27.f03 : New test.

    PR fortran/53191
    * gfortran.dg/select_type_28.f03 : New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/select_type_26.f03
    trunk/gcc/testsuite/gfortran.dg/select_type_27.f03
    trunk/gcc/testsuite/gfortran.dg/select_type_28.f03
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/match.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/fortran/symbol.c
    trunk/gcc/fortran/trans-array.c
    trunk/gcc/fortran/trans-expr.c
    trunk/gcc/fortran/trans-stmt.c
    trunk/gcc/fortran/trans-types.c
    trunk/gcc/fortran/trans.h
    trunk/gcc/testsuite/ChangeLog