]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | |
2 | lintcomments.c: (in function f) | |
1b8ae690 | 3 | lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. Splint |
4 | interprets this in the same way as most Unix lints, but it is preferable to | |
5 | replace it with the /*@fallthrough@*/ semantic comment | |
6 | lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. Splint | |
7 | interprets this in the same way as most Unix lints, but it is preferable to | |
8 | replace it with the /*@fallthrough@*/ semantic comment | |
9 | lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. Splint | |
10 | interprets this in the same way as most Unix lints, but it is preferable to | |
11 | replace it with the /*@fallthrough@*/ semantic comment | |
2209bcb7 | 12 | lintcomments.c:11:13: Fall through case (no preceding break) |
1b8ae690 | 13 | lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. Splint |
14 | interprets this in the same way as most Unix lints, but it is preferable to | |
15 | replace it with the /*@notreached@*/ semantic comment. | |
885824d3 | 16 | |
fafc64cf | 17 | Finished checking --- 5 code warnings, as expected |
885824d3 | 18 | |
19 | lintcomments.c: (in function f) | |
2209bcb7 | 20 | lintcomments.c:11:13: Fall through case (no preceding break) |
885824d3 | 21 | |
11db3170 | 22 | Finished checking --- 1 code warning, as expected |
885824d3 | 23 | |
24 | lintcomments.c: (in function f) | |
2209bcb7 | 25 | lintcomments.c:9:10: Fall through case (no preceding break) |
26 | lintcomments.c:10:10: Fall through case (no preceding break) | |
27 | lintcomments.c:11:13: Fall through case (no preceding break) | |
885824d3 | 28 | lintcomments.c:24:8: Unreachable code: i++ |
29 | ||
11db3170 | 30 | Finished checking --- 4 code warnings, as expected |