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
40
|
! { dg-do run }
! Tests the fix for PR31217 and PR33811 , in which dependencies were not
! correctly handled for the assignments below and, when this was fixed,
! the last two ICEd on trying to create the temorary.
!
! Contributed by Joost VandeVondele <jv244@cam.ac.uk>
! Dominique d'Humieres <dominiq@lps.ens.fr>
! and Paul Thomas <pault@gcc.gnu.org>
!
character(len=1) :: a = "1"
character(len=1) :: b(4) = (/"1","2","3","4"/), c(4)
c = b
forall(i=1:1) a(i:i) = a(i:i) ! This was the original PR31217
forall(i=1:1) b(i:i) = b(i:i) ! The rest were found to be broken
forall(i=1:1) b(:)(i:i) = b(:)(i:i)
forall(i=1:1) b(1:3)(i:i) = b(2:4)(i:i)
if (any (b .ne. (/"2","3","4","4"/))) call abort ()
b = c
forall(i=1:1) b(2:4)(i:i) = b(1:3)(i:i)
if (any (b .ne. (/"1","1","2","3"/))) call abort ()
b = c
do i = 1, 1
b(2:4)(i:i) = b(1:3)(i:i) ! This was PR33811 and Paul's bit
end do
if (any (b .ne. (/"1","1","2","3"/))) call abort ()
call foo
contains
subroutine foo
character(LEN=12) :: a(2) = "123456789012"
character(LEN=12) :: b = "123456789012"
! These are Dominique's
forall (i = 3:10) a(:)(i:i+2) = a(:)(i-2:i)
IF (a(1) .ne. "121234567890") CALL abort ()
forall (i = 3:10) a(2)(i:i+2) = a(1)(i-2:i)
IF (a(2) .ne. "121212345678") call abort ()
forall (i = 3:10) b(i:i+2) = b(i-2:i)
IF (b .ne. "121234567890") CALL abort ()
end subroutine
end
|
