[splint.git] / test / macrosef.c

int f(/*@sef@*/ int x, int y);
# define f(x,y) ((x) + (x) + (y) + (y)) /* 1. */

int g (int *p)
{
  *p++;
  return *p;
}

int m (int *p)
{
  int x = f ((printf ("yo\n"), 3), g(p));

  return (f (g (p), x));
}
Commit	Line	Data
885824d3	1	int f(/@sef@/ int x, int y);
	2	# define f(x,y) ((x) + (x) + (y) + (y)) /* 1. */
	3
	4	int g (int *p)
	5	{
	6	*p++;
	7	return *p;
	8	}
	9
	10	int m (int *p)
	11	{
	12	int x = f ((printf ("yo\n"), 3), g(p));
	13
	14	return (f (g (p), x));
	15	}