test/printflike.c

   1 /*@printflike@*/
   2 int mprint (int x);
   3
   4 /*@printflike@*/
   5 int kprint (int x, char *s);
   6
   7 /*@scanflike@*/
   8 int sprint (void);
   9
  10 /*@scanflike@*/
  11 int uprint ();
  12
  13 /*PRINTFLIKE*/
  14 int qprint (int x, char *s, ...);
  15
  16 /*@printflike@*/ /*@messagelike@*/
  17 int qxprint (int x, char *s, int f, ...);
  18