blob: 732497b6d3667f191320e4f1c727f338db799156 (
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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
|
! { dg-do run }
! { dg-options "-std=f2008 -fall-intrinsics" }
! PR fortran/44602
! Check for correct behaviour of EXIT / CYCLE combined with non-loop
! constructs at run-time.
! Contributed by Daniel Kraft, d@domob.eu.
PROGRAM main
IMPLICIT NONE
TYPE :: t
END TYPE t
INTEGER :: i
CLASS(t), ALLOCATABLE :: var
! EXIT and CYCLE without names always refer to innermost *loop*. This
! however is checked at run-time already in exit_1.f08.
! Basic EXITs from different non-loop constructs.
i = 2
myif: IF (i == 1) THEN
CALL abort ()
EXIT myif
ELSE IF (i == 2) THEN
EXIT myif
CALL abort ()
ELSE
CALL abort ()
EXIT myif
END IF myif
mysel: SELECT CASE (i)
CASE (1)
CALL abort ()
EXIT mysel
CASE (2)
EXIT mysel
CALL abort ()
CASE DEFAULT
CALL abort ()
EXIT mysel
END SELECT mysel
mycharsel: SELECT CASE ("foobar")
CASE ("abc")
CALL abort ()
EXIT mycharsel
CASE ("xyz")
CALL abort ()
EXIT mycharsel
CASE DEFAULT
EXIT mycharsel
CALL abort ()
END SELECT mycharsel
myblock: BLOCK
EXIT myblock
CALL abort ()
END BLOCK myblock
myassoc: ASSOCIATE (x => 5 + 2)
EXIT myassoc
CALL abort ()
END ASSOCIATE myassoc
ALLOCATE (t :: var)
mytypesel: SELECT TYPE (var)
TYPE IS (t)
EXIT mytypesel
CALL abort ()
CLASS DEFAULT
CALL abort ()
EXIT mytypesel
END SELECT mytypesel
! Check EXIT with nested constructs.
outer: BLOCK
inner: IF (.TRUE.) THEN
EXIT outer
CALL abort ()
END IF inner
CALL abort ()
END BLOCK outer
END PROGRAM main
|
