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

int *glob;

/*@dependent@*/
int *f (int **x)
{
  int sa[2] = { 0, 1 };
  int loc = 3;

  glob = &loc;
  *x = &sa[0];

  return &loc; 
}
Commit	Line	Data
77970e15	1	int *glob;
	2
	3	/@dependent@/
	4	int f (int *x)
	5	{
	6	int sa[2] = { 0, 1 };
	7	int loc = 3;
	8
	9	glob = &loc;
	10	*x = &sa[0];
	11
	12	return &loc;
	13	}
	14