[Bug fortran/25082] Subroutine with RETURN value, ICE in gfc_conv_scalarized_array_ref (fixed in trunk)

[pault at gcc dot gnu dot org]

------- Comment #5 from pault at gcc dot gnu dot org  2006-05-28 19:47 -------
Subject: Bug 25082

Author: pault
Date: Sun May 28 19:46:22 2006
New Revision: 114173

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

        PR fortran/25082
        * resolve.c (resolve_code): Add error condition that the return
        expression must be scalar.

        PR fortran/27411
        * matchexp.c (gfc_get_parentheses): New function.
        (match_primary): Remove inline code and call above.
        * gfortran.h: Provide prototype for gfc_get_parentheses.
        * resolve.c (resolve_array_ref): Call the above, when start is a
        derived type variable array reference.

        PR fortran/27613
        * primary.c (gfc_match_rvalue): Test if symbol represents a
        direct recursive function reference.  Error if array valued,
        go to function0 otherwise.

        PR fortran/25746
        * interface.c (gfc_extend_assign): Use new EXEC_ASSIGN_CALL.
        * gfortran.h : Put EXEC_ASSIGN_CALL in enum.
        * trans-stmt.c (gfc_conv_elemental_dependencies): New function.
        (gfc_trans_call): Call it.  Add new boolian argument to flag
        need for dependency checking. Assert intent OUT and IN for arg1
        and arg2.
        (gfc_trans_forall_1): Use new code EXEC_ASSIGN_CALL.
        trans-stmt.h : Modify prototype of gfc_trans_call.
        trans.c (gfc_trans_code): Add call for EXEC_ASSIGN_CALL.
        st.c (gfc_free_statement): Free actual for EXEC_ASSIGN_CALL.
        * dependency.c (gfc_check_fncall_dependency): Don't check other
        against itself.

        PR fortran/27584
        * check.c (gfc_check_associated): Replace NULL assert with an
        error message, since it is possible to generate bad code that
        has us fall through to here..

        PR fortran/19015
        * iresolve.c (maxloc, minloc): If DIM is not present, pass the
        rank of ARRAY as the shape of the result.  Otherwise, pass the
        shape of ARRAY, less the dimension DIM.
        (maxval, minval): The same, when DIM is present, otherwise no
        change.

        PR fortran/27709
        * resolve.c (find_array_spec): Add gfc_symbol, derived, and
        use to track repeated component references.

        PR fortran/27155
        PR fortran/27449
        * trans-intrinsic.c (gfc_conv_intrinsic_array_transfer): Use
        se->string_length throughout and use memcpy to populate the
        expression returned to the scalarizer.
        (gfc_size_in_bytes): New function.

        * trans-intrinsic.c (gfc_conv_associated): If pointer in first
        arguments has zero array length of zero string length, return
        false.

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

        PR fortran/25082
        * gfortran.dg/scalar_return_1.f90: New test.

        PR fortran/27411
        * gfortran.dg/derived_comp_array_ref_1.f90: New test.

        PR fortran/25746
        * gfortran.dg/elemental_subroutine_3.f90: New test.

        PR fortran/27584
        * gfortran.dg/associated_target_1.f90: New test.

        PR fortran/19015
        * gfortran.dg/maxloc_shape_1.f90: New test.

        PR fortran/27613
        * gfortran.dg/recursive_reference_1.f90: New test.

        PR fortran/27709
        * gfortran.dg/spec_expr_4.f90: New test.

        PR fortran/27155
        * gfortran.dg/transfer_array_intrinsic_4.f90: New test.

        * gfortran.dg/associated_2.f90: New test.

Modified:
    branches/gcc-4_1-branch/gcc/fortran/ChangeLog
    branches/gcc-4_1-branch/gcc/fortran/check.c
    branches/gcc-4_1-branch/gcc/fortran/gfortran.h
    branches/gcc-4_1-branch/gcc/fortran/interface.c
    branches/gcc-4_1-branch/gcc/fortran/iresolve.c
    branches/gcc-4_1-branch/gcc/fortran/matchexp.c
    branches/gcc-4_1-branch/gcc/fortran/primary.c
    branches/gcc-4_1-branch/gcc/fortran/resolve.c
    branches/gcc-4_1-branch/gcc/fortran/st.c
    branches/gcc-4_1-branch/gcc/fortran/trans-intrinsic.c
    branches/gcc-4_1-branch/gcc/fortran/trans-stmt.c
    branches/gcc-4_1-branch/gcc/fortran/trans-stmt.h
    branches/gcc-4_1-branch/gcc/fortran/trans.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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