]>
Commit | Line | Data |
---|---|---|
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 |