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

extern int glob;

extern int mystery (void);

extern int modglob (void)
   /*@globals glob@*/
   /*@modifies glob@*/ ;
 
int f (int x, int y[])
{
  int i = x++ * x;
 
  y[i] = i++;
  i += modglob() * glob;
  i += mystery() * glob;
  return i;
}
Commit	Line	Data
77970e15	1	extern int glob;
	2
	3	extern int mystery (void);
	4
	5	extern int modglob (void)
	6	/@globals glob@/
	7	/@modifies glob@/ ;
	8
	9	int f (int x, int y[])
	10	{
	11	int i = x++ * x;
	12
	13	y[i] = i++;
	14	i += modglob() * glob;
	15	i += mystery() * glob;
	16	return i;
	17	}