summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gfortran.dg/transfer_simplify_4.f90
blob: 65b1e41cfdf727037f1d874f0897f7ece9a1396d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
! { 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