[splint.git] / test / alias5.lcl

mutable type pair;

void incx1 (pair p) { }
void incx2 (pair p) { }
void incx3 (pair p) { }
void incx4 (pair p) { }

only pair pair_create (void) { }
void pair_free (out only pair p) { modifies p; }
Commit	Line	Data
885824d3	1	mutable type pair;
	2
	3	void incx1 (pair p) { }
	4	void incx2 (pair p) { }
	5	void incx3 (pair p) { }
	6	void incx4 (pair p) { }
	7
	8	only pair pair_create (void) { }
	9	void pair_free (out only pair p) { modifies p; }