[splint.git] / test / ud2.c

void g (void)
{
  char *x;
  char **y;

  f1(&x); 
  printf("%s\n", x); 

  f1(y); /* 1. Unallocated storage y passed as out parameter: y */
  printf("%s\n", *y);
}

void h (void)
{
  int z;
  char *x;
  char **y;

  f3 (&z); /* okay! */
  f2 (&x); /* 2. Value &x used before definition, */
  printf ("%s\n", x);  

  f2 (y);  /* 3. Variable y used before definition */
}
Commit	Line	Data
885824d3	1	void g (void)
	2	{
	3	char *x;
	4	char **y;
	5
	6	f1(&x);
	7	printf("%s\n", x);
	8
	9	f1(y); /* 1. Unallocated storage y passed as out parameter: y */
	10	printf("%s\n", *y);
	11	}
	12
	13	void h (void)
	14	{
	15	int z;
	16	char *x;
	17	char **y;
	18
	19	f3 (&z); /* okay! */
	20	f2 (&x); /* 2. Value &x used before definition, */
	21	printf ("%s\n", x);
	22
	23	f2 (y); /* 3. Variable y used before definition */
	24	}