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
|
// PR c/7652
// { dg-do compile { target c++11 } }
// { dg-options "-Wextra -Wall -Wpedantic" }
extern void bar (int);
void
fn (int i)
{
[[gnu::fallthrough]] int j = 0; // { dg-warning "attribute ignored" }
if (j)
[[gnu::fallthrough]]; // { dg-error "invalid use" }
[[gnu::fallthrough]]; // { dg-error "invalid use" }
switch (i)
{
[[gnu::fallthrough]]; // { dg-warning "statement will never" }
case 1:
i++;
[[gnu::fallthrough]];
case 2:
if (i) // { dg-warning "statement may fall through" }
bar (2);
else
[[gnu::fallthrough]];
case 3:
if (i > 1)
[[gnu::fallthrough]];
else
return;
case 4:
if (i)
[[gnu::fallthrough]]; // { dg-warning "not preceding" }
[[gnu::fallthrough]];
case 5:
;
[[gnu::fallthrough]];
case 6:
if (i) // { dg-warning "statement may fall through" }
bar (6);
else
{
[[gnu::fallthrough]];
}
case 7:
if (i > 1)
{
[[gnu::fallthrough]];
}
else
bar (7); // { dg-warning "statement may fall through" }
default:
--j;
}
[[gnu::fallthrough]]; // { dg-error "invalid use" }
}
|
