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

extern void nomodcall (int *x) /*@*/;
extern void mysterycall (int *x);

int noeffect (int *x, int y)
{
  y == *x;
  nomodcall (x);  
  mysterycall (x); 
  return *x;
}
Commit	Line	Data
77970e15	1	extern void nomodcall (int x) /@*/;
	2	extern void mysterycall (int *x);
	3
	4	int noeffect (int *x, int y)
	5	{
	6	y == *x;
	7	nomodcall (x);
	8	mysterycall (x);
	9	return *x;
	10	}