! { dg-do run }
! Tests that the in-memory representation of a transferred variable
! propagates properly.
!
  implicit none

  integer, parameter :: ip1 = 42
  integer, parameter :: ip2 = transfer(transfer(ip1, .true.), 0)
  integer :: i, ai(4)
  logical :: b

  if (ip2 .ne. ip1) call abort ()
  
  i = transfer(transfer(ip1, .true.), 0)
  if (i .ne. ip1) call abort ()

  i = 42
  i = transfer(transfer(i, .true.), 0)
  if (i .ne. ip1) call abort ()

  b = transfer(transfer(.true., 3.1415), .true.)
  if (.not.b) call abort ()

  b = transfer(transfer(.false., 3.1415), .true.)
  if (b) call abort ()

  i = 0
  b = transfer(i, .true.)
  ! The standard doesn't guarantee here that b will be .false.,
  ! though in gfortran for all targets it will.

  ai = (/ 42, 42, 42, 42 /)
  ai = transfer (transfer (ai, .false., 4), ai)
  if (any(ai .ne. 42)) call abort

  ai = transfer (transfer ((/ 42, 42, 42, 42 /), &
&                          (/ .false., .false., .false., .false. /)), ai)
  if (any(ai .ne. 42)) call abort
end