From 7936f3e337aca78ec76497c598b4ecef7bb2123e Mon Sep 17 00:00:00 2001 From: Francois-Xavier Coudert Date: Sat, 27 May 2006 11:41:42 +0200 Subject: [PATCH] re PR fortran/19777 (-fbounds-check catches non-existent bounds violation) PR fortran/19777 * trans-array.c (gfc_conv_array_ref): Don't perform out-of-bounds checking for assumed-size arrrays. * gfortran.dg/bounds_check_2.f: New test. From-SVN: r114153 --- gcc/fortran/ChangeLog | 6 ++++++ gcc/fortran/trans-array.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gfortran.dg/bounds_check_2.f | 23 ++++++++++++++++++++++ 4 files changed, 35 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gfortran.dg/bounds_check_2.f diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index 187831137f00..c5a0c0a6afab 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2006-05-27 Francois-Xavier Coudert + + PR fortran/19777 + * trans-array.c (gfc_conv_array_ref): Don't perform out-of-bounds + checking for assumed-size arrrays. + 2006-05-27 Paul Thomas * trans-intrinsic.c (gfc_conv_associated): If pointer in first diff --git a/gcc/fortran/trans-array.c b/gcc/fortran/trans-array.c index 34742c3f7024..737beeffc35b 100644 --- a/gcc/fortran/trans-array.c +++ b/gcc/fortran/trans-array.c @@ -1948,7 +1948,7 @@ gfc_conv_array_ref (gfc_se * se, gfc_array_ref * ar) gfc_conv_expr_type (&indexse, ar->start[n], gfc_array_index_type); gfc_add_block_to_block (&se->pre, &indexse.pre); - if (flag_bounds_check) + if (flag_bounds_check && ar->as->type != AS_ASSUMED_SIZE) { /* Check array bounds. */ tree cond; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 07b8fbe30c2d..78c926ec17f8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2006-05-27 Francois-Xavier Coudert + + PR fortran/19777 + * gfortran.dg/bounds_check_2.f: New test. + 2006-05-27 Janne Blomqvist * gfortran.dg/hollerith_f95.f90: Add -fall-intrinsics. diff --git a/gcc/testsuite/gfortran.dg/bounds_check_2.f b/gcc/testsuite/gfortran.dg/bounds_check_2.f new file mode 100644 index 000000000000..01607233d8f4 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/bounds_check_2.f @@ -0,0 +1,23 @@ +! { dg-do run } +! { dg-options "-fbounds-check" } +! PR fortran/19777 + implicit none + integer npts + parameter (npts=10) + double precision v(npts) + external init1 + + call init1 (npts, v) + end + + subroutine init1 (npts, v) + implicit none + integer npts + double precision v(*) + + integer i + + do 10 i = 1, npts + v(i) = 0 + 10 continue + end