| 885824d3 |
1 | |
| 2 | printflike.c:2:5: Function mprint is marked printflike, but has no elipsis |
| 3 | parameter |
| 4 | printflike.c:5:5: Function kprint is marked printflike, but has no elipsis |
| 5 | parameter |
| 6 | printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis |
| 7 | parameter |
| 1b8ae690 |
8 | printflike.c:13:15: Traditional lint comment /*PRINTFLIKE*/ used. Splint |
| 9 | interprets this in the same way as most Unix lints, but it is preferable to |
| 10 | replace it with either /*@printflike@*/, /*@scanflike@*/ or |
| 885824d3 |
11 | /*@messagelike@*/. |
| 12 | printflike.c:16:35: Multiple special function codes: |
| 13 | printflike, messagelike (first code is ignored) |
| 14 | printflike.c:17:5: Function qxprint is marked messagelike, but the argument |
| 15 | before the elipsis has type int (should be char *) |
| 16 | |
| 11db3170 |
17 | Finished checking --- 6 code warnings, as expected |
| 885824d3 |
18 | |
| 19 | printflike.c:2:5: Function mprint is marked printflike, but has no elipsis |
| 20 | parameter |
| 21 | printflike.c:5:5: Function kprint is marked printflike, but has no elipsis |
| 22 | parameter |
| 23 | printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis |
| 24 | parameter |
| 25 | printflike.c:16:35: Multiple special function codes: |
| 26 | printflike, messagelike (first code is ignored) |
| 27 | printflike.c:17:5: Function qxprint is marked messagelike, but the argument |
| 28 | before the elipsis has type int (should be char *) |
| 29 | |
| 11db3170 |
30 | Finished checking --- 5 code warnings, as expected |
andersk / splint.git / blame