[splint.git] / test / alias3.lcl

typedef struct { int a; int *b; } st;
typedef union  { int a; st s; st *t; int **c; } ut;

st gst;
ut *gu;

int f (int ia[], st s1, ut *u1) st gst; ut *gu; { } 

void model (int ia[]) st gst; ut *gu; { modifies ia[6]; }

void modst (st s1) { modifies *s1.b; }

void modu (ut *u)  { modifies *u; }
Commit	Line	Data
885824d3	1	typedef struct { int a; int *b; } st;
	2	typedef union { int a; st s; st t; int *c; } ut;
	3
	4	st gst;
	5	ut *gu;
	6
	7	int f (int ia[], st s1, ut u1) st gst; ut gu; { }
	8
	9	void model (int ia[]) st gst; ut *gu; { modifies ia[6]; }
	10
	11	void modst (st s1) { modifies *s1.b; }
	12
	13	void modu (ut u) { modifies u; }