[Bug fortran/16206] rejects valid array initialization expression

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

------- Comment #10 from pault at gcc dot gnu dot org  2006-06-20 04:31 -------
Subject: Bug 16206

Author: pault
Date: Tue Jun 20 04:30:48 2006
New Revision: 114802

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

        PR fortran/25049
        PR fortran/25050
        * check.c (non_init_transformational): New function.
        (find_substring_ref): New function to signal use of disallowed
        transformational intrinsic in an initialization expression.
        (gfc_check_all_any): Call previous if initialization expr.
        (gfc_check_count): The same.
        (gfc_check_cshift): The same.
        (gfc_check_dot_product): The same.
        (gfc_check_eoshift): The same.
        (gfc_check_minloc_maxloc): The same.
        (gfc_check_minval_maxval): The same.
        (gfc_check_gfc_check_product_sum): The same.
        (gfc_check_pack): The same.
        (gfc_check_spread): The same.
        (gfc_check_transpose): The same.
        (gfc_check_unpack): The same.

        PR fortran/18769
        *intrinsic.c (add_functions): Add gfc_simplify_transfer.
        *intrinsic.h : Add prototype for gfc_simplify_transfer.
        *simplify.c (gfc_simplify_transfer) : New function to act as
        placeholder for eventual implementation.  Emit error for now.

        PR fortran/16206
        * expr.c (find_array_element): Eliminate condition on length of
        offset. Add bounds checking. Rearrange exit. Return try and
        put gfc_constructor result as an argument.
        (find_array_section): New function.
        (find_substring_ref): New function.
        (simplify_const_ref): Add calls to previous.
        (simplify_parameter_variable): Return on NULL expr.
        (gfc_simplify_expr): Only call gfc_expand_constructor for full
        arrays.

        PR fortran/20876
        * match.c (gfc_match_forall): Add missing locus to gfc_code.

2006-06-20  Paul Thomas  <pault@gcc.gnu.org>

        PR libfortran/28005
        * m4/matmul.m4: aystride = 1 does not uniquely detect the
        presence of a temporary transpose; an array element in the
        first dimension produces the same signature.  Detect this
        using the rank of a and add specific code.
        * generated/matmul_r4.c: Regenerate.
        * generated/matmul_r8.c: Regenerate.
        * generated/matmul_r10.c: Regenerate.
        * generated/matmul_r16.c: Regenerate.
        * generated/matmul_c4.c: Regenerate.
        * generated/matmul_c8.c: Regenerate.
        * generated/matmul_c10.c: Regenerate.
        * generated/matmul_c16.c: Regenerate.
        * generated/matmul_i4.c: Regenerate.
        * generated/matmul_i8.c: Regenerate.
        * generated/matmul_i16.c: Regenerate.

2006-06-20  Paul Thomas  <pault@gcc.gnu.org>

        PR fortran/16206
        * gfortran.dg/array_initializer_1.f90: New test.

        PR fortran/28005
        * gfortran.dg/matmul_3.f90: New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/array_initializer_1.f90
    trunk/gcc/testsuite/gfortran.dg/matmul_3.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/check.c
    trunk/gcc/fortran/expr.c
    trunk/gcc/fortran/intrinsic.c
    trunk/gcc/fortran/intrinsic.h
    trunk/gcc/fortran/match.c
    trunk/gcc/fortran/simplify.c
    trunk/gcc/testsuite/ChangeLog
    trunk/libgfortran/ChangeLog
    trunk/libgfortran/generated/matmul_c10.c
    trunk/libgfortran/generated/matmul_c16.c
    trunk/libgfortran/generated/matmul_c4.c
    trunk/libgfortran/generated/matmul_c8.c
    trunk/libgfortran/generated/matmul_i16.c
    trunk/libgfortran/generated/matmul_i4.c
    trunk/libgfortran/generated/matmul_i8.c
    trunk/libgfortran/generated/matmul_r10.c
    trunk/libgfortran/generated/matmul_r16.c
    trunk/libgfortran/generated/matmul_r4.c
    trunk/libgfortran/generated/matmul_r8.c
    trunk/libgfortran/m4/matmul.m4


-- 


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