test/printflike.expect

   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
   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
  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
  17 Finished checking --- 6 code warnings, as expected
  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
  30 Finished checking --- 5 code warnings, as expected