[splint.git] / test / format.c

void fn (FILE *f, char *fmt)
{
  printf (fmt); 
  printf ("%s", fmt);
  fprintf (f, fmt);
  fprintf (f, fmt, fmt);
}
Commit	Line	Data
80ee600a	1	void fn (FILE f, char fmt)
	2	{
	3	printf (fmt);
	4	printf ("%s", fmt);
	5	fprintf (f, fmt);
	6	fprintf (f, fmt, fmt);
	7	}