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