From: Brooks Moses <brooks.moses@codesourcery.com>
Date: Mon, 28 May 2007 18:30:50 +0000 (+0000)
Subject: * gfortran.dg/transfer_simplify_4.f90: New test.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0919f6374c061d987cce79bbf29aaf2e094fa135;p=gcc.git

* gfortran.dg/transfer_simplify_4.f90: New test.

From-SVN: r125136
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 710c62c5fda..994dd10ca01 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2007-05-28  Brooks Moses  <brooks.moses@codesourcery.com>
+
+	* gfortran.dg/transfer_simplify_3.f90: New test.
+
 2007-05-27  Tobias Burnus  <burnus@net-b.de>
 
 	PR fortran/32088
diff --git a/gcc/testsuite/gfortran.dg/transfer_simplify_4.f90 b/gcc/testsuite/gfortran.dg/transfer_simplify_4.f90
new file mode 100644
index 00000000000..314593474a9
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/transfer_simplify_4.f90
@@ -0,0 +1,30 @@
+! { dg-do run }
+! { dg-options "-O0" }
+! Tests that the in-memory representation of a transferred variable
+! propagates properly.
+!
+  implicit none
+
+  integer, parameter :: ip1 = 42
+  logical, parameter :: ap1 = transfer(ip1, .true.)
+  integer, parameter :: ip2 = transfer(ap1, 0)
+
+  logical :: a
+  integer :: i
+  
+  i = transfer(transfer(ip1, .true.), 0)
+  if (i .ne. ip1) call abort ()
+
+  i = transfer(ap1, 0)
+  if (i .ne. ip1) call abort ()
+  
+  a = transfer(ip1, .true.)
+  i = transfer(a, 0)
+  if (i .ne. ip1) call abort ()
+
+  i = ip1
+  a = transfer(i, .true.)
+  i = transfer(a, 0)
+  if (i .ne. ip1) call abort ()
+
+end