From patchwork Mon May 30 15:26:45 2011
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Subject: [Fortran] Coarray - fix assumed-shape cobounds
From: Tobias Burnus <burnus@net-b.de>
X-Patchwork-Id: 97930
Message-Id: <4DE3B735.3070904@net-b.de>
To: gcc patches <gcc-patches@gcc.gnu.org>, gfortran <fortran@gcc.gnu.org>
Date: Mon, 30 May 2011 17:26:45 +0200

Simple patch, which requires the previous patch at 
http://gcc.gnu.org/ml/fortran/2011-05/msg00231.html

OK for the trunk?

Tobias


2011-05-30  Tobias Burnus  <burnus@net-b.de>

        PR fortran/18918
	* trans-array.c (gfc_trans_dummy_array_bias): Handle
	cobounds of assumed-shape arrays.

2011-05-30  Tobias Burnus  <burnus@net-b.de>

        PR fortran/18918
	* gfortran.dg/coarray/dummy_1.f90: New.

diff --git a/gcc/fortran/trans-array.c b/gcc/fortran/trans-array.c
index d83a7a9..c7aeadb 100644
--- a/gcc/fortran/trans-array.c
+++ b/gcc/fortran/trans-array.c
@@ -5213,6 +5232,8 @@ gfc_trans_dummy_array_bias (gfc_symbol * sym, tree tmpdesc,
 	}
     }
 
+  gfc_trans_array_cobounds (type, &init, sym);
+
   /* Set the offset.  */
   if (TREE_CODE (GFC_TYPE_ARRAY_OFFSET (type)) == VAR_DECL)
     gfc_add_modify (&init, GFC_TYPE_ARRAY_OFFSET (type), offset);
--- /dev/null	2011-05-29 07:20:52.091892040 +0200
+++ gcc/gcc/testsuite/gfortran.dg/coarray/dummy_1.f90	2011-05-30 17:21:53.000000000 +0200
@@ -0,0 +1,70 @@
+! { dg-do run }
+!
+! PR fortran/18918
+!
+! Check whether assumed-shape's cobounds are properly handled
+!
+    implicit none
+    integer :: B(1)[*]
+    integer :: C(8:11)[-3:10,43:*]
+    integer, allocatable :: D(:)[:,:]
+
+    allocate (D(20)[2:3,5:*])
+
+    call sub (B,5)
+    call sub (C,3)
+    call sub (D,3)
+
+    call sub2 (B, -3)
+    call sub2 (C, 44)
+    call sub2 (D, 44)
+
+    call sub3 (B)
+    call sub3 (C)
+    call sub3 (D)
+
+    call sub4 (B)
+    call sub4 (C)
+    call sub4 (D)
+
+    call sub5 (D)
+  contains
+
+  subroutine sub(A,n)
+    integer :: n
+    integer :: A(n:)[n:2*n,3*n:*]
+    if (lbound(A,dim=1) /= n) call abort ()
+    if (any (lcobound(A) /= [n, 3*n])) call abort ()
+    if (ucobound(A, dim=1) /= 2*n) call abort()
+  end subroutine sub
+
+  subroutine sub2(A,n)
+    integer :: n
+    integer :: A(:)[-n:*]
+    if (lbound(A,dim=1) /= 1) call abort ()
+    if (lcobound(A, dim=1) /= -n) call abort ()
+  end subroutine sub2
+
+  subroutine sub3(A)
+    integer :: A(:)[0,*]
+    if (lbound(A,dim=1) /= 1) call abort ()
+    if (lcobound(A, dim=1) /= 1) call abort ()
+    if (ucobound(A, dim=1) /= 0) call abort ()
+    if (lcobound(A, dim=2) /= 1) call abort ()
+  end subroutine sub3
+
+  subroutine sub4(A)
+    integer :: A(:)[*]
+    if (lbound(A,dim=1) /= 1) call abort ()
+    if (lcobound(A, dim=1) /= 1) call abort ()
+  end subroutine sub4
+
+  subroutine sub5(A)
+    integer, allocatable :: A(:)[:,:]
+
+    if (lbound(A,dim=1) /= 1) call abort ()
+    if (lcobound(A, dim=1) /= 2) call abort ()
+    if (ucobound(A, dim=1) /= 3) call abort ()
+    if (lcobound(A, dim=2) /= 5) call abort ()
+  end subroutine sub5
+  end