extern void abort (void);
int do_something (int i)
{
return i;
}
int for_val1;
int for_val2;
int for_temp;
int
test_for1 (int n)
{
int i;
for_temp = 1;
for (i = 0; i < n; i++)
for_temp++;
return for_temp;
}
int
test_for2 (int m, int n, int o)
{
int i, j, k;
for_temp = 1;
for (i = 0; i < n; i++)
for (j = 0; j < m; j++)
for (k = 0; k < o; k++)
for_temp++;
return for_temp;
}
void
call_for ()
{
for_val1 += test_for1 (0);
for_val1 += test_for1 (2);
for_val1 += test_for1 (7);
for_val2 += test_for2 (0, 0, 0);
for_val2 += test_for2 (1, 0, 0);
for_val2 += test_for2 (1, 3, 0);
for_val2 += test_for2 (1, 3, 1);
for_val2 += test_for2 (3, 1, 5);
for_val2 += test_for2 (3, 7, 3);
}
int goto_val;
int
test_goto1 (int f)
{
if (f)
goto lab1;
return 1;
lab1:
return 2;
}
int
test_goto2 (int f)
{
int i;
for (i = 0; i < 10; i++)
if (i == f) goto lab2;
return 4;
lab2:
return 8;
}
void
call_goto ()
{
goto_val += test_goto1 (0);
goto_val += test_goto1 (1);
goto_val += test_goto2 (3);
goto_val += test_goto2 (30);
}
int ifelse_val1;
int ifelse_val2;
int ifelse_val3;
int
test_ifelse1 (int i, int j)
{
int result = 0;
if (i)
if (j)
result = do_something (4);
else
result = do_something (1024);
else
if (j)
result = do_something (1);
else
result = do_something (2);
if (i > j)
result = do_something (result*2);
if (i > 10)
if (j > 10)
result = do_something (result*4);
return result;
}
int
test_ifelse2 (int i)
{
int result = 0;
if (!i)
result = do_something (1);
if (i == 1)
result = do_something (1024);
if (i == 2)
result = do_something (2);
if (i == 3)
return do_something (8);
if (i == 4)
return do_something (2048);
return result;
}
int
test_ifelse3 (int i, int j)
{
int result = 1;
if (i > 10 && j > i && j < 20)
result = do_something (16);
if (i > 20)
if (j > i)
if (j < 30)
result = do_something (32);
if (i == 3 || j == 47 || i == j)
result = do_something (64);
return result;
}
void
call_ifelse ()
{
ifelse_val1 += test_ifelse1 (0, 2);
ifelse_val1 += test_ifelse1 (0, 0);
ifelse_val1 += test_ifelse1 (1, 2);
ifelse_val1 += test_ifelse1 (10, 2);
ifelse_val1 += test_ifelse1 (11, 11);
ifelse_val2 += test_ifelse2 (0);
ifelse_val2 += test_ifelse2 (2);
ifelse_val2 += test_ifelse2 (2);
ifelse_val2 += test_ifelse2 (2);
ifelse_val2 += test_ifelse2 (3);
ifelse_val2 += test_ifelse2 (3);
ifelse_val3 += test_ifelse3 (11, 19);
ifelse_val3 += test_ifelse3 (25, 27);
ifelse_val3 += test_ifelse3 (11, 22);
ifelse_val3 += test_ifelse3 (11, 10);
ifelse_val3 += test_ifelse3 (21, 32);
ifelse_val3 += test_ifelse3 (21, 20);
ifelse_val3 += test_ifelse3 (1, 2);
ifelse_val3 += test_ifelse3 (32, 31);
ifelse_val3 += test_ifelse3 (3, 0);
ifelse_val3 += test_ifelse3 (0, 47);
ifelse_val3 += test_ifelse3 (65, 65);
}
int switch_val, switch_m;
int
test_switch (int i, int j)
{
int result = 0;
switch (i)
{
case 1:
result = do_something (2);
break;
case 2:
result = do_something (1024);
break;
case 3:
case 4:
if (j == 2)
return do_something (4);
result = do_something (8);
break;
default:
result = do_something (32);
switch_m++;
break;
}
return result;
}
void
call_switch ()
{
switch_val += test_switch (1, 0);
switch_val += test_switch (3, 0);
switch_val += test_switch (3, 2);
switch_val += test_switch (4, 0);
switch_val += test_switch (16, 0);
switch_val += switch_m;
}
int
main()
{
call_for ();
call_goto ();
call_ifelse ();
call_switch ();
if ((for_val1 != 12)
|| (for_val2 != 87)
|| (goto_val != 15)
|| (ifelse_val1 != 31)
|| (ifelse_val2 != 23)
|| (ifelse_val3 != 246)
|| (switch_val != 55))
abort ();
return 0;
}