[splint.git] / test / temp / stack.c

extern void fdep (/*@dependent@*/ char *s);

char *salloc ()
{
  char x[10];

  fdep (x);
}
Commit	Line	Data
80ee600a	1	extern void fdep (/@dependent@/ char *s);
	2
	3	char *salloc ()
	4	{
	5	char x[10];
	6
	7	fdep (x);
	8	}