[splint.git] / test / argorder2.lcl

int i;

int f (int x, int y) int i; { modifies i; }
int g (void) int i; { modifies i; }
int h (void) int i; { }
Commit	Line	Data
885824d3	1	int i;
	2
	3	int f (int x, int y) int i; { modifies i; }
	4	int g (void) int i; { modifies i; }
	5	int h (void) int i; { }