2 printflike.c:2:5: Function mprint is marked printflike, but has no elipsis
4 printflike.c:5:5: Function kprint is marked printflike, but has no elipsis
6 printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis
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
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 *)
17 Finished checking --- 6 code warnings, as expected
19 printflike.c:2:5: Function mprint is marked printflike, but has no elipsis
21 printflike.c:5:5: Function kprint is marked printflike, but has no elipsis
23 printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis
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 *)
30 Finished checking --- 5 code warnings, as expected