Apparently splint does not correctly handle the case in which a #defined constant...

[splint.git] / test / format.c

void fn (FILE *f, char *fmt)
{
  printf (fmt); 
  printf ("%s", fmt);
  fprintf (f, fmt);
  fprintf (f, fmt, fmt);
}