blob: aa189770903f424924e505103ef5d4fd5819459b (
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
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
|
/*
TEST_OUTPUT:
---
fail_compilation/fail6889.d(16): Error: cannot `goto` out of `scope(success)` block
fail_compilation/fail6889.d(17): Error: cannot `goto` in to `scope(success)` block
fail_compilation/fail6889.d(19): Error: `return` statements cannot be in `scope(success)` bodies
fail_compilation/fail6889.d(23): Error: `continue` is not allowed inside `scope(success)` bodies
fail_compilation/fail6889.d(24): Error: `break` is not allowed inside `scope(success)` bodies
fail_compilation/fail6889.d(29): Error: `continue` is not allowed inside `scope(success)` bodies
fail_compilation/fail6889.d(30): Error: `break` is not allowed inside `scope(success)` bodies
---
*/
void test_success()
{
L1:
scope(success) { L2: goto L1; } // NG
goto L2; // NG
scope(success) { return; } // NG (from fail102.d)
foreach (i; 0..1)
{
scope(success) continue; // NG
scope(success) break; // NG
}
foreach (i; Aggr())
{
scope(success) continue; // NG
scope(success) break; // NG
}
/+
// is equivalent with:
switch (
Aggr().opApply((int i){
scope(success) return 0; // NG
scope(success) return 1; // NG
return 0;
}))
{
default: break;
}
+/
}
/*
TEST_OUTPUT:
---
fail_compilation/fail6889.d(56): Error: cannot `goto` in to `scope(failure)` block
---
*/
void test_failure()
{
L1:
scope(failure) { L2: goto L1; } // OK
goto L2; // NG
scope(failure) { return; } // OK
foreach (i; 0..1)
{
scope(failure) continue; // OK
scope(failure) break; // OK
}
foreach (i; Aggr())
{
scope(failure) continue; // OK
scope(failure) break; // OK
}
/+
// is equivalent with:
switch (
Aggr().opApply((int i){
scope(failure) return 0; // OK
scope(failure) return 1; // OK
return 0;
}))
{
default: break;
}
+/
}
/*
TEST_OUTPUT:
---
fail_compilation/fail6889.d(100): Error: cannot `goto` out of `scope(exit)` block
fail_compilation/fail6889.d(101): Error: cannot `goto` in to `scope(exit)` block
fail_compilation/fail6889.d(103): Error: `return` statements cannot be in `scope(exit)` bodies
fail_compilation/fail6889.d(107): Error: `continue` is not allowed inside `scope(exit)` bodies
fail_compilation/fail6889.d(108): Error: `break` is not allowed inside `scope(exit)` bodies
fail_compilation/fail6889.d(113): Error: `continue` is not allowed inside `scope(exit)` bodies
fail_compilation/fail6889.d(114): Error: `break` is not allowed inside `scope(exit)` bodies
---
*/
void test_exit()
{
L1:
scope(exit) { L2: goto L1; } // NG
goto L2; // NG
scope(exit) { return; } // NG (from fail102.d)
foreach (i; 0..1)
{
scope(exit) continue; // NG
scope(exit) break; // NG
}
foreach (i; Aggr())
{
scope(exit) continue; // NG
scope(exit) break; // NG
}
/+
// is equivalent with:
switch (
Aggr().opApply((int i){
scope(exit) return 0; // NG
scope(exit) return 1; // NG
return 0;
}))
{
default: break;
}
+/
}
struct Aggr { int opApply(int delegate(int) dg) { return dg(0); } }
|
