Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
/* run.config
OPT: -rte -warn-signed-overflow -print -then -rte-trivial-annotations
OPT: -rte -warn-signed-overflow -print -unsafe-arrays
*/
int t[10];
int u[8+3];
int v[16][17];
struct s_arr {
int t[15];
};
typedef struct _s {
int t[15];
struct {
int u[12];
} s;
struct s_arr v[12];
} ts;
ts s;
unsigned int c[10];
void main(int i, int j, unsigned int k) {
t[0] = 0;
u[1] = 0;
v[2][3] = 0;
s.t[1] = 0;
s.s.u[2] = 0;
s.v[3].t[4] = 0;
t[i] = 0;
u[i] = 0;
v[i][j] = 0;
s.t[i] = 0;
s.s.u[i] = 0;
s.v[i].t[j] = 0;
t[k] = 0;
u[k] = 0;
v[k][c[k]] = 0;
s.t[k] = 0;
s.s.u[k] = 0;
s.v[k].t[c[k]] = 0;
}