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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
|
/* { dg-additional-options "-Wno-analyzer-too-complex" } */
int foo ()
{
static volatile int v = 42;
int __result_foo;
__result_foo = (int) v;
return __result_foo;
}
void test (int * restrict n, int * restrict flag)
{
int i;
int j;
int k;
double t;
int tt;
double v;
if (*flag)
{
t = 4.2e+1;
tt = foo ();
}
L_1: ;
v = 0.0;
{
int D_3353;
D_3353 = *n;
i = 1;
if (i <= D_3353)
{
while (1)
{
{
int D_3369;
v = 0.0;
if (*flag)
{
if (tt == i)
{
{
double M_0;
M_0 = v;
if (t > M_0 || (int) (M_0 != M_0))
{
M_0 = t;
}
v = M_0;
}
}
L_5:;
}
L_4:;
{
int D_3359;
D_3359 = *n;
j = 1;
if (j <= D_3359)
{
while (1)
{
{
int D_3368;
{
int D_3362;
D_3362 = *n;
k = 1;
if (k <= D_3362)
{
while (1)
{
{
int D_3367;
{
double D_3366;
double M_1;
M_1 = v;
D_3366 = (double) __builtin_sinf ((float) (j * k));
if (D_3366 > M_1 || (int) (M_1 != M_1))
{
M_1 = D_3366;
}
v = M_1;
}
L_8:;
D_3367 = k == D_3362;
k = k + 1;
if (D_3367) goto L_9;
}
}
}
L_9:;
}
L_6:;
D_3368 = j == D_3359;
j = j + 1;
if (D_3368) goto L_7;
}
}
}
L_7:;
}
L_2:;
D_3369 = i == D_3353;
i = i + 1;
if (D_3369) goto L_3;
}
}
}
L_3:;
}
}
int main ()
{
int flag;
int n;
n = 4;
flag = 0;
test (&n, &flag);
return 0;
}
|
