| 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 |
| 885824d3 |
9 | lintcomments.c:11:13: Fall through case (no preceeding break) |
| 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 | |
| 14 | Finished LCLint checking --- 4 code errors found, as expected |
| 15 | |
| 16 | lintcomments.c: (in function f) |
| 17 | lintcomments.c:11:13: Fall through case (no preceeding break) |
| 18 | |
| 19 | Finished LCLint checking --- 1 code error found, as expected |
| 20 | |
| 21 | lintcomments.c: (in function f) |
| 22 | lintcomments.c:9:10: Fall through case (no preceeding break) |
| 23 | lintcomments.c:10:10: Fall through case (no preceeding break) |
| 24 | lintcomments.c:11:13: Fall through case (no preceeding break) |
| 25 | lintcomments.c:24:8: Unreachable code: i++ |
| 26 | |
| 27 | Finished LCLint checking --- 4 code errors found, as expected |
andersk / splint.git / blame