blob: 765356d2610ffb3bd9c49d5c70ffbad70a589e88 (
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
|
PROGRAM Test_INTEGER_select
! Every wrong branch leads to destruction.
INTEGER, PARAMETER :: maxI = HUGE (maxI)
INTEGER, PARAMETER :: minI = -1 * maxI
INTEGER :: I = 0
SELECT CASE (I)
CASE (:-1)
CALL abort
CASE (1:)
CALL abort
CASE DEFAULT
CONTINUE
END SELECT
SELECT CASE (I)
CASE (3,2,1)
CALL abort
CASE (0)
CONTINUE
CASE DEFAULT
call abort
END SELECT
! Not aborted by here, so it worked
! See about weird corner cases
I = maxI
SELECT CASE (I)
CASE (:-1)
CALL abort
CASE (1:)
CONTINUE
CASE DEFAULT
CALL abort
END SELECT
SELECT CASE (I)
CASE (3,2,1,:0)
CALL abort
CASE (maxI)
CONTINUE
CASE DEFAULT
call abort
END SELECT
I = minI
SELECT CASE (I)
CASE (:-1)
CONTINUE
CASE (1:)
CALL abort
CASE DEFAULT
CALL abort
END SELECT
SELECT CASE (I)
CASE (3:,2,1,0)
CALL abort
CASE (minI)
CONTINUE
CASE DEFAULT
call abort
END SELECT
END
|
