2009-01-19 Mikael Morin <mikael.morin@tele2.fr>

	PR fortran/38859
	* simplify.c (simplify_bound): Don't use array specification
	if variable or component has subsequent references.

2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>

	PR fortran/38859
	* gfortran.dg/bound_5.f90: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@143501 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/fortran/ChangeLog b/gcc/fortran/ChangeLog
index a5244ab..2f33c65 100644 (file)
--- a/gcc/fortran/ChangeLog
+++ b/gcc/fortran/ChangeLog
@@ -1,3 +1,9 @@
+2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
+
+       PR fortran/38859
+       * simplify.c (simplify_bound): Don't use array specification
+       if variable or component has subsequent references.
+
 2009-01-17  Paul Thomas  <pault@gcc.gnu.org>
 
        PR fortran/38657

diff --git a/gcc/fortran/simplify.c b/gcc/fortran/simplify.c
index 90c91ae..c460f31 100644 (file)
--- 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 8f42d58..bbe8975 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-01-19  Mikael Morin  <mikael.morin@tele2.fr>
+
+       PR fortran/38859
+       * gfortran.dg/bound_5.f90: New test.
+
 2009-01-18  H.J. Lu  <hongjiu.lu@intel.com>
 
        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 (file)
index 0000000..04245d6
--- /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 <dick.hendrickson@gmail.com>
+
+       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