]>
Commit | Line | Data |
---|---|---|
80ee600a | 1 | typedef struct s_st { int a; int *b; } st; |
2 | typedef union s_ut { int a; st s; st *t; int **c; } ut; | |
885824d3 | 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 | ||
80ee600a | 13 | void modu (ut *u) { modifies *u; } |