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