[Bug fortran/25073] CASEs overlap

["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-25 15:11 -------
Subject: Bug 25073

Author: pault
Date: Sun Jun 25 15:11:02 2006
New Revision: 114987

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

        PR fortran/25056
        * interface.c (compare_actual_formal): Signal an error if the formal
        argument is a pure procedure and the actual is not pure.

        PR fortran/27554
        * resolve.c (resolve_actual_arglist): If the type of procedure
        passed as an actual argument is not already declared, see if it is
        an intrinsic.

        PR fortran/25073
        * resolve.c (resolve_select): Use bits 1 and 2 of a new int to
        keep track of  the appearance of constant logical case expressions.
        Signal an error is either value appears more than once.

        PR fortran/20874
        * resolve.c (resolve_fl_procedure): Signal an error if an elemental
        function is not scalar valued.

        PR fortran/20867
        * match.c (recursive_stmt_fcn): Perform implicit typing of variables.

        PR fortran/22038
        * match.c (match_forall_iterator): Mark new variables as
        FL_UNKNOWN if the match fails.

        PR fortran/28119
        * match.c (gfc_match_forall): Remove extraneous call to
        gfc_match_eos.

        PR fortran/25072
        * resolve.c (resolve_code, resolve_function): Rework
        forall_flag scheme so that it is set and has a value of
        2, when the code->expr (ie. the forall mask) is resolved.
        This is used to change "block" to "mask" in the non-PURE
        error message.


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

        PR fortran/20867
        * gfortran.dg/stfunc_3.f90: New test.

        PR fortran/25056
        * gfortran.dg/impure_actual_1.f90: New test.

        PR fortran/20874
        * gfortran.dg/elemental_result_1.f90: New test.

        PR fortran/25073
        * gfortran.dg/select_7.f90: New test.

        PR fortran/27554
        * intrinsic_actual_1.f: New test.

        PR fortran/22038
        PR fortran/28119
        * gfortran.dg/forall_4.f90: New test.

        PR fortran/25072
        * gfortran.dg/forall_5.f90: New test.



Added:
    trunk/gcc/testsuite/gfortran.dg/elemental_result_1.f90
    trunk/gcc/testsuite/gfortran.dg/forall_4.f90
    trunk/gcc/testsuite/gfortran.dg/forall_5.f90
    trunk/gcc/testsuite/gfortran.dg/impure_actual_1.f90
    trunk/gcc/testsuite/gfortran.dg/intrinsic_actual_1.f
    trunk/gcc/testsuite/gfortran.dg/select_7.f90
    trunk/gcc/testsuite/gfortran.dg/stfunc_3.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/interface.c
    trunk/gcc/fortran/match.c
    trunk/gcc/fortran/resolve.c
    trunk/gcc/testsuite/ChangeLog


-- 


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