aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Burnus <burnus@net-b.de>2008-03-28 14:47:06 +0100
committerTobias Burnus <burnus@gcc.gnu.org>2008-03-28 14:47:06 +0100
commit3e08bbcfe8cf565f51869ed0e1f36a56e742d954 (patch)
treebc7075222c4580d1b29a61956a7d5b16553ba268
parent626f4dd8f52c0e85892dc4bd9f7bb2a1c87e2f3c (diff)
downloadgcc-3e08bbcfe8cf565f51869ed0e1f36a56e742d954.zip
gcc-3e08bbcfe8cf565f51869ed0e1f36a56e742d954.tar.gz
gcc-3e08bbcfe8cf565f51869ed0e1f36a56e742d954.tar.bz2
re PR fortran/35721 (ASSOCIATED returns false when strides confusing)
2008-03-28 Tobias Burnus <burnus@net-b.de> PR fortran/35721 * intrinsics/associated.c (associated): Ignore different stride of pointer vs. target if only one element is referred. 2008-03-28 Tobias Burnus <burnus@net-b.de> PR fortran/35721 * gfortran.dg/associated_target_2.f90: New. From-SVN: r133684
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gfortran.dg/associated_target_2.f9041
-rw-r--r--libgfortran/ChangeLog6
-rw-r--r--libgfortran/intrinsics/associated.c8
4 files changed, 57 insertions, 3 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8392cfe..2ac6eb0 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2008-03-28 Tobias Burnus <burnus@net-b.de>
+
+ PR fortran/35721
+ * gfortran.dg/associated_target_2.f90: New.
+
2008-03-28 Richard Guenther <rguenther@suse.de>
PR tree-optimization/19580
diff --git a/gcc/testsuite/gfortran.dg/associated_target_2.f90 b/gcc/testsuite/gfortran.dg/associated_target_2.f90
new file mode 100644
index 0000000..b1179be
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/associated_target_2.f90
@@ -0,0 +1,41 @@
+! { dg-do run }
+!
+! PR fortran/35721
+!
+! ASSOCIATED(ptr, trgt) should return true if
+! the same storage units (in the same order)
+! gfortran was returning false if the strips
+! were different but only one (the same!) element
+! was present.
+!
+! Contributed by Dick Hendrickson
+!
+ program try_mg0028
+ implicit none
+ real tda2r(2,3)
+
+ call mg0028(tda2r, 1, 2, 3)
+
+ CONTAINS
+
+ SUBROUTINE MG0028(TDA2R,nf1,nf2,nf3)
+ integer :: nf1,nf2,nf3
+ real, target :: TDA2R(NF2,NF3)
+ real, pointer :: TLA2L(:,:),TLA2L1(:,:)
+ logical LL(4)
+ TLA2L => TDA2R(NF2:NF1:-NF2,NF3:NF1:-NF2)
+ TLA2L1 => TLA2L
+ LL(1) = ASSOCIATED(TLA2L)
+ LL(2) = ASSOCIATED(TLA2L,TLA2L1)
+ LL(3) = ASSOCIATED(TLA2L,TDA2R)
+ LL(4) = ASSOCIATED(TLA2L1,TDA2R(2:2,3:1:-2)) !should be true
+
+ if (any(LL .neqv. (/ .true., .true., .false., .true./))) then
+ print *, LL
+ print *, shape(TLA2L1)
+ print *, shape(TDA2R(2:2,3:1:-2))
+ stop
+ endif
+
+ END SUBROUTINE
+ END PROGRAM
diff --git a/libgfortran/ChangeLog b/libgfortran/ChangeLog
index 892a245..57ec570 100644
--- a/libgfortran/ChangeLog
+++ b/libgfortran/ChangeLog
@@ -1,3 +1,9 @@
+2008-03-28 Tobias Burnus <burnus@net-b.de>
+
+ PR fortran/35721
+ * intrinsics/associated.c (associated): Ignore different
+ stride of pointer vs. target if only one element is referred.
+
2008-03-26 Jerry DeLisle <jvdelisle@gcc.gnu.org>
* io/unix.c (fd_close): Do not close STDIN.
diff --git a/libgfortran/intrinsics/associated.c b/libgfortran/intrinsics/associated.c
index 0d32fd7..dc1da1d 100644
--- a/libgfortran/intrinsics/associated.c
+++ b/libgfortran/intrinsics/associated.c
@@ -48,10 +48,12 @@ associated (const gfc_array_void *pointer, const gfc_array_void *target)
rank = GFC_DESCRIPTOR_RANK (pointer);
for (n = 0; n < rank; n++)
{
- if (pointer->dim[n].stride != target->dim[n].stride)
+ long diff;
+ diff = pointer->dim[n].ubound - pointer->dim[n].lbound;
+
+ if (diff != (target->dim[n].ubound - target->dim[n].lbound))
return 0;
- if ((pointer->dim[n].ubound - pointer->dim[n].lbound)
- != (target->dim[n].ubound - target->dim[n].lbound))
+ if (pointer->dim[n].stride != target->dim[n].stride && diff != 0)
return 0;
if (pointer->dim[n].ubound < pointer->dim[n].lbound)
return 0;