obtained gcc-4.6.4.tar.bz2 from upstream website;upstream

verified gcc-4.6.4.tar.bz2.sig;
imported gcc-4.6.4 source tree from verified upstream tarball.

downloading a git-generated archive based on the 'upstream' tag
should provide you with a source tree that is binary identical
to the one extracted from the above tarball.

if you have obtained the source via the command 'git clone',
however, do note that line-endings of files in your working
directory might differ from line-endings of the respective
files in the upstream repository.

1 files changed, 39 insertions, 0 deletions

diff --git a/gcc/testsuite/gfortran.dg/array_section_1.f90 b/gcc/testsuite/gfortran.dg/array_section_1.f90
new file mode 100644
index 000000000..4d5eedf2a
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/array_section_1.f90
@@ -0,0 +1,39 @@
+! { dg-do run }
+! { dg-options "-fbounds-check" }
+! Tests the fix for PR30003, in which the 'end' of an array section
+! would not be evaluated at all if it was on the lhs of an assignment
+! or would be evaluated many times if bound checking were on.
+!
+! Contributed by Erik Edelmann <eedelmann@gcc.gnu.org>
+!
+    implicit none
+    integer :: a(5), b(3), cnt
+
+    b = [ 1, 2, 3 ]
+! Check the lhs references
+    cnt = 0
+    a(bar(1):3) = b
+    if (cnt /= 1) call abort ()
+    cnt = 0
+    a(1:bar(3)) = b
+    if (cnt /= 1) call abort ()
+    cnt = 0
+    a(1:3:bar(1)) = b
+    if (cnt /= 1) call abort ()
+! Check the rhs references
+    cnt = 0
+    a(1:3) = b(bar(1):3)
+    if (cnt /= 1) call abort ()
+    cnt = 0
+    a(1:3) = b(1:bar(3))
+    if (cnt /= 1) call abort ()
+    cnt = 0
+    a(1:3) = b(1:3:bar(1))
+    if (cnt /= 1) call abort ()
+contains
+    integer function bar(n)
+        integer, intent(in) :: n
+        cnt = cnt + 1
+        bar = n
+    end function bar
+end