[splint.git] / test / tclauses / modifies.c

int f (int *x, int *y)
     /*@modifies *x;@*/
     /*@modifies *y;@*/
{
  *x = 3;
  *y = 7;
  return 3;
}
Commit	Line	Data
80ee600a	1	int f (int x, int y)
	2	/@modifies x;@*/
	3	/@modifies y;@*/
	4	{
	5	*x = 3;
	6	*y = 7;
	7	return 3;
	8	}