]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | int f (int x) |
2 | { | |
3 | int i = 0; | |
4 | ||
5 | switch (x) | |
6 | { | |
fafc64cf | 7 | case 1: i++; /*@fallthrough@*/ /*FALLTHROUGH*/ |
885824d3 | 8 | case 2: i++; /*FALLTHROUGH*/ |
9 | case 3: i++; /*FALLTHRU*/ | |
10 | case 4: i++; | |
11 | default: i++; | |
12 | } | |
13 | ||
14 | if (i > 2) | |
15 | { | |
16 | return i; | |
17 | /*@notreached@*/ | |
18 | i++; | |
19 | } | |
20 | else | |
21 | { | |
22 | return i; | |
23 | /*NOTREACHED*/ | |
24 | i++; | |
25 | } | |
26 | ||
27 | /*@notreached@*/ return 3; | |
28 | } |