Viewing file:  uninit-pr63311.c (3.13 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { 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;
}
|
