[splint.git] / test / moduncon.c

int *mmod (int *);
int *umod (int *);

int f (int *x)
{
  (void) umod (mmod (umod (x)));
  return *x;
}

int g (int *x) /*@*/
{
  (void) umod (x);
  (void) umod (mmod (umod (x)));
  return *x;
}
Commit	Line	Data
885824d3	1	int mmod (int );
	2	int umod (int );
	3
	4	int f (int *x)
	5	{
	6	(void) umod (mmod (umod (x)));
	7	return *x;
	8	}
	9
	10	int g (int x) /@*/
	11	{
	12	(void) umod (x);
	13	(void) umod (mmod (umod (x)));
	14	return *x;
	15	}