OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 // Test switch statement. | 4 // Test switch statement. |
5 | 5 |
6 // Tests some switch-case statements blocks that should and should not | 6 // Tests some switch-case statements blocks that should and should not |
7 // cause static warnings. | 7 // cause static warnings. |
8 // This test is not testing runtime behavior, only static warnings. | 8 // This test is not testing runtime behavior, only static warnings. |
9 | 9 |
10 // None of the cases blocks should cause a warning. | 10 // None of the cases blocks should cause a warning. |
(...skipping 16 matching lines...) Expand all Loading... |
27 case 3: | 27 case 3: |
28 nop(x); | 28 nop(x); |
29 continue; // Continue loop. | 29 continue; // Continue loop. |
30 case 4: | 30 case 4: |
31 nop(x); | 31 nop(x); |
32 continue LOOP; | 32 continue LOOP; |
33 case 5: | 33 case 5: |
34 nop(x); | 34 nop(x); |
35 continue LAST; | 35 continue LAST; |
36 // Avoid warning for "return;"" and "return e;" in same function. | 36 // Avoid warning for "return;"" and "return e;" in same function. |
37 case 6: /// retnon: ok | 37 case 6: //# retnon: ok |
38 nop(x); /// retnon: continued | 38 nop(x); //# retnon: continued |
39 return; /// retnon: continued | 39 return; //# retnon: continued |
40 case 7: /// retval: ok | 40 case 7: //# retval: ok |
41 nop(x); /// retval: continued | 41 nop(x); //# retval: continued |
42 return x; /// retval: continued | 42 return x; //# retval: continued |
43 case 8: | 43 case 8: |
44 nop(x); | 44 nop(x); |
45 throw x; | 45 throw x; |
46 case 9: | 46 case 9: |
47 nop(x); | 47 nop(x); |
48 rethrow; | 48 rethrow; |
49 case 10: | 49 case 10: |
50 case 11: { | 50 case 11: { |
51 nop(x); | 51 nop(x); |
52 break; // Break switch. | 52 break; // Break switch. |
53 } | 53 } |
54 case 12: { | 54 case 12: { |
55 nop(x); | 55 nop(x); |
56 break LOOP; | 56 break LOOP; |
57 } | 57 } |
58 case 13: { | 58 case 13: { |
59 nop(x); | 59 nop(x); |
60 continue; // Continue loop. | 60 continue; // Continue loop. |
61 } | 61 } |
62 case 14: { | 62 case 14: { |
63 nop(x); | 63 nop(x); |
64 continue LOOP; | 64 continue LOOP; |
65 } | 65 } |
66 case 15: { | 66 case 15: { |
67 nop(x); | 67 nop(x); |
68 continue LAST; | 68 continue LAST; |
69 } | 69 } |
70 case 16: { /// retnon: continued | 70 case 16: { //# retnon: continued |
71 nop(x); /// retnon: continued | 71 nop(x); //# retnon: continued |
72 return; /// retnon: continued | 72 return; //# retnon: continued |
73 } /// retnon: continued | 73 } //# retnon: continued |
74 case 17: { /// retval: continued | 74 case 17: { //# retval: continued |
75 nop(x); /// retval: continued | 75 nop(x); //# retval: continued |
76 return x; /// retval: continued | 76 return x; //# retval: continued |
77 } /// retval: continued | 77 } //# retval: continued |
78 case 18: { | 78 case 18: { |
79 nop(x); | 79 nop(x); |
80 throw x; | 80 throw x; |
81 } | 81 } |
82 case 19: { | 82 case 19: { |
83 nop(x); | 83 nop(x); |
84 rethrow; | 84 rethrow; |
85 } | 85 } |
86 LAST: | 86 LAST: |
87 case 20: { | 87 case 20: { |
(...skipping 12 matching lines...) Expand all Loading... |
100 | 100 |
101 // All these switch cases should cause warnings. | 101 // All these switch cases should cause warnings. |
102 void testSwitchWarn(x) { | 102 void testSwitchWarn(x) { |
103 // Catch all control flow from the switch and ignore it. | 103 // Catch all control flow from the switch and ignore it. |
104 TRY: try { | 104 TRY: try { |
105 throw 0; | 105 throw 0; |
106 } catch (e) { | 106 } catch (e) { |
107 // Wrap in loop as target for continue/break. | 107 // Wrap in loop as target for continue/break. |
108 LOOP: do { | 108 LOOP: do { |
109 switch (x) { | 109 switch (x) { |
110 case 0: /// 01: static type warning | 110 case 0: //# 01: static type warning |
111 case 1: { /// 01: continued | 111 case 1: { //# 01: continued |
112 { /// 01: continued | 112 { //# 01: continued |
113 nop(x); /// 01: continued | 113 nop(x); //# 01: continued |
114 break; // Break switch. /// 01: continued | 114 break; // Break switch. //# 01: continued |
115 } /// 01: continued | 115 } //# 01: continued |
116 } /// 01: continued | 116 } //# 01: continued |
117 case 2: { /// 02: static type warning | 117 case 2: { //# 02: static type warning |
118 { /// 02: continued | 118 { //# 02: continued |
119 nop(x); /// 02: continued | 119 nop(x); //# 02: continued |
120 break LOOP; /// 02: continued | 120 break LOOP; //# 02: continued |
121 } /// 02: continued | 121 } //# 02: continued |
122 } /// 02: continued | 122 } //# 02: continued |
123 case 3: { /// 03: static type warning | 123 case 3: { //# 03: static type warning |
124 { /// 03: continued | 124 { //# 03: continued |
125 nop(x); /// 03: continued | 125 nop(x); //# 03: continued |
126 continue; // Continue loop. /// 03: continued | 126 continue; // Continue loop. //# 03: continued |
127 } /// 03: continued | 127 } //# 03: continued |
128 } /// 03: continued | 128 } //# 03: continued |
129 case 4: { /// 04: static type warning | 129 case 4: { //# 04: static type warning |
130 { /// 04: continued | 130 { //# 04: continued |
131 nop(x); /// 04: continued | 131 nop(x); //# 04: continued |
132 continue LOOP; /// 04: continued | 132 continue LOOP; //# 04: continued |
133 } /// 04: continued | 133 } //# 04: continued |
134 } /// 04: continued | 134 } //# 04: continued |
135 case 5: { /// 05: static type warning | 135 case 5: { //# 05: static type warning |
136 { /// 05: continued | 136 { //# 05: continued |
137 nop(x); /// 05: continued | 137 nop(x); //# 05: continued |
138 continue LAST; /// 05: continued | 138 continue LAST; //# 05: continued |
139 } /// 05: continued | 139 } //# 05: continued |
140 } /// 05: continued | 140 } //# 05: continued |
141 case 6: { /// 06: static type warning | 141 case 6: { //# 06: static type warning |
142 { /// 06: continued | 142 { //# 06: continued |
143 nop(x); /// 06: continued | 143 nop(x); //# 06: continued |
144 return; /// 06: continued | 144 return; //# 06: continued |
145 } /// 06: continued | 145 } //# 06: continued |
146 } /// 06: continued | 146 } //# 06: continued |
147 case 7: { /// 07: static type warning | 147 case 7: { //# 07: static type warning |
148 { /// 07: continued | 148 { //# 07: continued |
149 nop(x); /// 07: continued | 149 nop(x); //# 07: continued |
150 return x; /// 07: continued | 150 return x; //# 07: continued |
151 } /// 07: continued | 151 } //# 07: continued |
152 } /// 07: continued | 152 } //# 07: continued |
153 case 8: { /// 08: static type warning | 153 case 8: { //# 08: static type warning |
154 { /// 08: continued | 154 { //# 08: continued |
155 nop(x); /// 08: continued | 155 nop(x); //# 08: continued |
156 throw x; /// 08: continued | 156 throw x; //# 08: continued |
157 } /// 08: continued | 157 } //# 08: continued |
158 } /// 08: continued | 158 } //# 08: continued |
159 case 9: { /// 09: static type warning | 159 case 9: { //# 09: static type warning |
160 { /// 09: continued | 160 { //# 09: continued |
161 nop(x); /// 09: continued | 161 nop(x); //# 09: continued |
162 rethrow; /// 09: continued | 162 rethrow; //# 09: continued |
163 } /// 09: continued | 163 } //# 09: continued |
164 } /// 09: continued | 164 } //# 09: continued |
165 case 10: /// 10: static type warning | 165 case 10: //# 10: static type warning |
166 while (true) break; /// 10: continued | 166 while (true) break; //# 10: continued |
167 case 11: /// 11: static type warning | 167 case 11: //# 11: static type warning |
168 do break; while (true); /// 11: continued | 168 do break; while (true); //# 11: continued |
169 case 12: /// 12: static type warning | 169 case 12: //# 12: static type warning |
170 for (;;) break; /// 12: continued | 170 for (;;) break; //# 12: continued |
171 case 13: /// 13: static type warning | 171 case 13: //# 13: static type warning |
172 for (var _ in []) break; /// 13: continued | 172 for (var _ in []) break; //# 13: continued |
173 case 14: /// 14: static type warning | 173 case 14: //# 14: static type warning |
174 if (x) break; else break; /// 14: continued | 174 if (x) break; else break; //# 14: continued |
175 case 15: /// 15: static type warning | 175 case 15: //# 15: static type warning |
176 (throw 0); /// 15: continued | 176 (throw 0); //# 15: continued |
177 case 16: /// 16: static type warning | 177 case 16: //# 16: static type warning |
178 nop(x); // fallthrough. /// 16: continued | 178 nop(x); // fallthrough. //# 16: continued |
179 case 17: /// 17: static type warning | 179 case 17: //# 17: static type warning |
180 L: break; /// 17: continued | 180 L: break; //# 17: continued |
181 LAST: | 181 LAST: |
182 case 99: | 182 case 99: |
183 // Last case can't cause static warning. | 183 // Last case can't cause static warning. |
184 } | 184 } |
185 } while (false); | 185 } while (false); |
186 } finally { | 186 } finally { |
187 // Catch all control flow leaving the switch and ignore it. | 187 // Catch all control flow leaving the switch and ignore it. |
188 // Use break instead of return to avoid warning for `return` and `return e` | 188 // Use break instead of return to avoid warning for `return` and `return e` |
189 // in same function. | 189 // in same function. |
190 break TRY; | 190 break TRY; |
191 } | 191 } |
192 } | 192 } |
193 | 193 |
194 main() { | 194 main() { |
195 // Ensure that all the cases compile and run (even if they might throw). | 195 // Ensure that all the cases compile and run (even if they might throw). |
196 for (int i = 0; i <= 20; i++) { | 196 for (int i = 0; i <= 20; i++) { |
197 testSwitch(i); // Just make sure it runs. | 197 testSwitch(i); // Just make sure it runs. |
198 } | 198 } |
199 for (int i = 0; i <= 18; i++) { | 199 for (int i = 0; i <= 18; i++) { |
200 testSwitchWarn(i); | 200 testSwitchWarn(i); |
201 } | 201 } |
202 } | 202 } |
203 | 203 |
204 /// Don't make it obvious that a switch case isn't doing anything. | 204 /// Don't make it obvious that a switch case isn't doing anything. |
205 void nop(x) {} | 205 void nop(x) {} |
OLD | NEW |