[Bug fortran/58146] Array slice bounds checking

[mikael at gcc dot gnu.org]

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

--- Comment #7 from Mikael Morin <mikael at gcc dot gnu.org> ---
Patch committed:

Author: tkoenig
Date: Sun Aug 25 22:55:12 2013
New Revision: 201981

URL: http://gcc.gnu.org/viewcvs?rev=201981&root=gcc&view=rev
Log:
2013-08-26  Thomas Koenig  <tkoe...@gcc.gnu.org>

    PR fortran/58146
    * array.c (gfc_ref_dimen_size):  If possible, use
    gfc_dep_difference to calculate array refrence
    sizes.  Fall back to integer code otherwise.
    * dependency.c (discard_nops).  Move up.
    Also discarde widening integer conversions.
    (gfc_dep_compare_expr):  Use discard_nops.

2013-08-26  Thomas Koenig  <tkoe...@gcc.gnu.org>

    PR fortran/58146
    * gfortran.dg/bounds_check_18.f90:  New test.


Added:
    trunk/gcc/testsuite/gfortran.dg/bounds_check_18.f90
Modified:
    trunk/gcc/fortran/ChangeLog
    trunk/gcc/fortran/array.c
    trunk/gcc/fortran/dependency.c
    trunk/gcc/testsuite/ChangeLog