1 /* PR c/7652 */
2 /* { dg-do compile } */
3 /* { dg-options "-Wimplicit-fallthrough" } */
4
5 extern void bar (int);
6
7 /* Test if with else. */
8
9 void
10 f (int i)
11 {
12 switch (i)
13 {
14 case 1:
15 if (i) /* { dg-warning "statement may fall through" } */
16 bar (1);
17 else
18 bar (2);
19 case 2:
20 __builtin_abort ();
21 }
22
23 switch (i)
24 {
25 case 1:
26 if (i)
27 bar (1);
28 else
29 bar (2);
30 bar (3); /* { dg-warning "statement may fall through" } */
31 case 2:
32 __builtin_abort ();
33 }
34
35 switch (i)
36 {
37 case 1:
38 if (i)
39 return;
40 else
41 bar (2); /* { dg-warning "statement may fall through" } */
42 case 2:
43 __builtin_abort ();
44 }
45
46 switch (i)
47 {
48 case 1:
49 if (i)
50 return;
51 else
52 bar (2);
53 bar (3); /* { dg-warning "statement may fall through" } */
54 case 2:
55 __builtin_abort ();
56 }
57
58 switch (i)
59 {
60 case 1:
61 if (i) /* { dg-warning "statement may fall through" } */
62 bar (1);
63 else
64 return;
65 case 2:
66 __builtin_abort ();
67 }
68
69 switch (i)
70 {
71 case 1:
72 if (i)
73 bar (1);
74 else
75 return;
76 bar (3); /* { dg-warning "statement may fall through" } */
77 case 2:
78 __builtin_abort ();
79 }
80
81 switch (i)
82 {
83 case 1:
84 if (i)
85 return;
86 else
87 return;
88 case 2:
89 __builtin_abort ();
90 }
91
92 switch (i)
93 {
94 case 1:
95 if (i)
96 return;
97 else
98 return;
99 bar (3); /* { dg-warning "statement may fall through" } */
100 case 2:
101 __builtin_abort ();
102 }
103
104 switch (i)
105 {
106 case 1:
107 if (i) /* { dg-warning "statement may fall through" } */
108 {
109 bar (1);
110 bar (2);
111 bar (3);
112 bar (4);
113 }
114 else
115 {
116 bar (5);
117 bar (6);
118 bar (7);
119 bar (8);
120 }
121 case 2:
122 __builtin_abort ();
123 }
124
125 switch (i)
126 {
127 case 1:
128 if (i)
129 {
130 bar (1);
131 bar (2);
132 bar (3);
133 bar (4);
134 }
135 else
136 {
137 bar (5);
138 bar (6);
139 bar (7);
140 bar (8);
141 }
142 bar (9); /* { dg-warning "statement may fall through" } */
143 case 2:
144 __builtin_abort ();
145 }
146
147 switch (i)
148 {
149 case 1:
150 if (i) /* { dg-warning "statement may fall through" } */
151 {
152 }
153 else
154 bar (2);
155 case 2:
156 __builtin_abort ();
157 }
158
159 switch (i)
160 {
161 case 1:
162 if (i) /* { dg-warning "statement may fall through" } */
163 bar (1);
164 else
165 {
166 }
167 case 2:
168 __builtin_abort ();
169 }
170
171 switch (i)
172 {
173 case 1:
174 if (i) /* { dg-warning "statement may fall through" } */
175 {
176 }
177 else
178 {
179 }
180 case 2:
181 __builtin_abort ();
182 }
183
184 switch (i)
185 {
186 case 1:
187 if (i) /* { dg-warning "statement may fall through" } */
188 return;
189 else
190 {
191 }
192 case 2:
193 __builtin_abort ();
194 }
195
196 switch (i)
197 {
198 case 1:
199 if (i) /* { dg-warning "statement may fall through" } */
200 {
201 }
202 else
203 return;
204 case 2:
205 __builtin_abort ();
206 }
207
208 switch (i)
209 {
210 case 1:
211 if (i)
212 goto L1;
213 else
214 bar (2); /* { dg-warning "statement may fall through" } */
215 case 2:
216 L1:
217 __builtin_abort ();
218 }
219
220 switch (i)
221 {
222 case 1:
223 if (i)
224 goto L2;
225 else
226 bar (2); /* { dg-warning "statement may fall through" } */
227 L2:
228 case 2:
229 __builtin_abort ();
230 }
231
232 switch (i)
233 {
234 case 1:
235 if (i) /* { dg-warning "statement may fall through" } */
236 bar (1);
237 else
238 goto L3;
239 case 2:
240 L3:
241 __builtin_abort ();
242 }
243
244 switch (i)
245 {
246 case 1:
247 if (i) /* { dg-warning "statement may fall through" } */
248 bar (1);
249 else
250 goto L4;
251 L4:
252 case 2:
253 __builtin_abort ();
254 }
255
256 switch (i)
257 {
258 case 1:
259 if (i)
260 goto L5;
261 else
262 goto L5;
263 L5:
264 case 2:
265 __builtin_abort ();
266 }
267
268 switch (i)
269 {
270 case 1:
271 if (i)
272 bar (1);
273 else
274 bar (2);
275 break;
276 case 2:
277 __builtin_abort ();
278 }
279
280 switch (i)
281 {
282 case 1:
283 if (i)
284 bar (1);
285 else
286 bar (2);
287 bar (3);
288 break;
289 case 2:
290 __builtin_abort ();
291 }
292
293 switch (i)
294 {
295 case 1:
296 if (i)
297 return;
298 else
299 bar (2);
300 break;
301 case 2:
302 __builtin_abort ();
303 }
304
305 switch (i)
306 {
307 case 1:
308 if (i)
309 return;
310 else
311 bar (2);
312 bar (3);
313 break;
314 case 2:
315 __builtin_abort ();
316 }
317
318 switch (i)
319 {
320 case 1:
321 if (i)
322 bar (1);
323 else
324 return;
325 break;
326 case 2:
327 __builtin_abort ();
328 }
329
330 switch (i)
331 {
332 case 1:
333 if (i)
334 bar (1);
335 else
336 return;
337 bar (3);
338 break;
339 case 2:
340 __builtin_abort ();
341 }
342
343 switch (i)
344 {
345 case 1:
346 if (i)
347 return;
348 else
349 return;
350 break;
351 case 2:
352 __builtin_abort ();
353 }
354
355 switch (i)
356 {
357 case 1:
358 if (i)
359 return;
360 else
361 return;
362 bar (3);
363 break;
364 case 2:
365 __builtin_abort ();
366 }
367
368 switch (i)
369 {
370 case 1:
371 if (i)
372 {
373 bar (1);
374 bar (2);
375 bar (3);
376 bar (4);
377 }
378 else
379 {
380 bar (5);
381 bar (6);
382 bar (7);
383 bar (8);
384 }
385 break;
386 case 2:
387 __builtin_abort ();
388 }
389
390 switch (i)
391 {
392 case 1:
393 if (i)
394 {
395 bar (1);
396 bar (2);
397 bar (3);
398 bar (4);
399 }
400 else
401 {
402 bar (5);
403 bar (6);
404 bar (7);
405 bar (8);
406 }
407 bar (9);
408 break;
409 case 2:
410 __builtin_abort ();
411 }
412
413 switch (i)
414 {
415 case 1:
416 if (i)
417 {
418 }
419 else
420 bar (2);
421 break;
422 case 2:
423 __builtin_abort ();
424 }
425
426 switch (i)
427 {
428 case 1:
429 if (i)
430 bar (1);
431 else
432 {
433 }
434 break;
435 case 2:
436 __builtin_abort ();
437 }
438
439 switch (i)
440 {
441 case 1:
442 if (i)
443 {
444 }
445 else
446 {
447 }
448 break;
449 case 2:
450 __builtin_abort ();
451 }
452
453 switch (i)
454 {
455 case 1:
456 if (i)
457 return;
458 else
459 {
460 }
461 break;
462 case 2:
463 __builtin_abort ();
464 }
465
466 switch (i)
467 {
468 case 1:
469 if (i)
470 {
471 }
472 else
473 return;
474 break;
475 case 2:
476 __builtin_abort ();
477 }
478
479 switch (i)
480 {
481 case 1:
482 if (i)
483 goto L6;
484 else
485 bar (2);
486 break;
487 case 2:
488 L6:
489 __builtin_abort ();
490 }
491
492 switch (i)
493 {
494 case 1:
495 if (i)
496 goto L7;
497 else
498 bar (2);
499 break;
500 L7:
501 case 2:
502 __builtin_abort ();
503 }
504
505 switch (i)
506 {
507 case 1:
508 if (i)
509 bar (1);
510 else
511 goto L8;
512 break;
513 case 2:
514 L8:
515 __builtin_abort ();
516 }
517
518 switch (i)
519 {
520 case 1:
521 if (i)
522 bar (1);
523 else
524 goto L9;
525 break;
526 L9:
527 case 2:
528 __builtin_abort ();
529 }
530
531 switch (i)
532 {
533 case 1:
534 if (i)
535 goto L10;
536 else
537 goto L10;
538 break;
539 L10:
540 case 2:
541 __builtin_abort ();
542 }
543 }