[splint.git] / test / tests2.4 / print.c

# include <stdio.h>

int main (void) {
  int i;

  printf ("a%n\n", &i); 
  printf ("%d\n", i);
  return 0;
}
Commit	Line	Data
885824d3	1	# include <stdio.h>
	2
	3	int main (void) {
	4	int i;
	5
	6	printf ("a%n\n", &i);
	7	printf ("%d\n", i);
	8	return 0;
	9	}