annotate gcc/testsuite/gfortran.dg/goto_5.f90 @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900 (2020-05-25)
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 ! { dg-do compile }
kono
parents:
diff changeset
2 ! PR 38507
kono
parents:
diff changeset
3 ! Verify that we correctly flag invalid gotos, while not flagging valid gotos.
kono
parents:
diff changeset
4 integer i,j
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 do i=1,10
kono
parents:
diff changeset
7 goto 20
kono
parents:
diff changeset
8 20 end do ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
9
kono
parents:
diff changeset
10 goto 20 ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
11 goto 25 ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
12 goto 40 ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
13 goto 50 ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
14
kono
parents:
diff changeset
15 goto 222
kono
parents:
diff changeset
16 goto 333
kono
parents:
diff changeset
17 goto 444
kono
parents:
diff changeset
18
kono
parents:
diff changeset
19 222 if (i < 0) then
kono
parents:
diff changeset
20 25 end if ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 333 if (i > 0) then
kono
parents:
diff changeset
23 do j = 1,20
kono
parents:
diff changeset
24 goto 30
kono
parents:
diff changeset
25 end do
kono
parents:
diff changeset
26 else if (i == 0) then
kono
parents:
diff changeset
27 goto 30
kono
parents:
diff changeset
28 else
kono
parents:
diff changeset
29 goto 30
kono
parents:
diff changeset
30 30 end if
kono
parents:
diff changeset
31
kono
parents:
diff changeset
32 444 select case(i)
kono
parents:
diff changeset
33 case(0)
kono
parents:
diff changeset
34 goto 50
kono
parents:
diff changeset
35 goto 60 ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
36 case(1)
kono
parents:
diff changeset
37 goto 40
kono
parents:
diff changeset
38 goto 50
kono
parents:
diff changeset
39 40 continue ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
40 60 continue ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
41 50 end select ! { dg-warning "is not in the same block" }
kono
parents:
diff changeset
42 continue
kono
parents:
diff changeset
43
kono
parents:
diff changeset
44 end