diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog index a5244ab70c6..2f33c655d96 100644 --- a/gcc/fortran/ChangeLog +++ b/gcc/fortran/ChangeLog @@ -1,3 +1,9 @@ +2009-01-19 Mikael Morin + + PR fortran/38859 + * simplify.c (simplify_bound): Don't use array specification + if variable or component has subsequent references. + 2009-01-17 Paul Thomas PR fortran/38657 diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c index 90c91ae4e85..c460f312db2 100644 --- a/gcc/fortran/simplify.c +++ b/gcc/fortran/simplify.c @@ -2253,7 +2253,10 @@ simplify_bound (gfc_expr *array, gfc_expr *dim, gfc_expr *kind, int upper) case AR_FULL: /* We're done because 'as' has already been set in the previous iteration. */ - goto done; + if (!ref->next) + goto done; + + /* Fall through. */ case AR_SECTION: case AR_UNKNOWN: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 8f42d58e6c6..bbe897580dd 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-01-19 Mikael Morin + + PR fortran/38859 + * gfortran.dg/bound_5.f90: New test. + 2009-01-18 H.J. Lu PR target/38736 diff --git a/gcc/testsuite/gfortran.dg/bound_5.f90 b/gcc/testsuite/gfortran.dg/bound_5.f90 new file mode 100644 index 00000000000..04245d6d869 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/bound_5.f90 @@ -0,0 +1,26 @@ +! { dg-do run } +! +! PR fortran/38859 +! Wrong bounds simplification +! +! Contributed by Dick Hendrickson + + type x + integer I + end type x + type (x) A(0:5, 2:8) + integer ida(2) + + ida = lbound(a) + if (any(ida /= (/0,2/))) call abort + + ida = lbound(a%i) + if (any(ida /= (/1,1/))) call abort + + ida = ubound(a) + if (any(ida /= (/5,8/))) call abort + + ida = ubound(a%i) + if (any(ida /= (/6,7/))) call abort + + end