parent
b235406124
commit
5e42753176
|
@ -0,0 +1,261 @@
|
|||
/* Check that execution counts for various C constructs are reported
|
||||
correctly by gcov. */
|
||||
|
||||
/* { dg-options "-fprofile-arcs -ftest-coverage" } */
|
||||
/* { dg-do run { target native } } */
|
||||
|
||||
int do_something (int i)
|
||||
{
|
||||
return i;
|
||||
}
|
||||
|
||||
/* Check for loops. */
|
||||
|
||||
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++) /* branch(25) */
|
||||
/* branch(end) */
|
||||
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++) /* branch(30) */
|
||||
/* branch(end) */
|
||||
for (j = 0; j < m; j++) /* branch(32) */
|
||||
/* branch(end) */
|
||||
for (k = 0; k < o; k++) /* branch(27) */
|
||||
/* branch(end) */
|
||||
for_temp++;
|
||||
return for_temp;
|
||||
}
|
||||
|
||||
int
|
||||
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);
|
||||
}
|
||||
|
||||
/* Check the use of goto. */
|
||||
|
||||
int goto_val;
|
||||
|
||||
int
|
||||
test_goto1 (int f)
|
||||
{
|
||||
if (f) /* branch(50) */
|
||||
/* branch(end) */
|
||||
goto lab1;
|
||||
return 1;
|
||||
lab1:
|
||||
return 2;
|
||||
}
|
||||
|
||||
int
|
||||
test_goto2 (int f)
|
||||
{
|
||||
int i;
|
||||
for (i = 0; i < 10; i++) /* branch(7) */
|
||||
/* branch(end) */
|
||||
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);
|
||||
}
|
||||
|
||||
/* Check nested if-then-else statements. */
|
||||
|
||||
int ifelse_val1;
|
||||
int ifelse_val2;
|
||||
int ifelse_val3;
|
||||
|
||||
int
|
||||
test_ifelse1 (int i, int j)
|
||||
{
|
||||
int result = 0;
|
||||
if (i) /* branch(40) */
|
||||
/* branch(end) */
|
||||
if (j) /* branch(0) */
|
||||
/* branch(end) */
|
||||
result = do_something (4);
|
||||
else
|
||||
result = do_something (1024);
|
||||
else
|
||||
if (j) /* branch(50) */
|
||||
/* branch(end) */
|
||||
result = do_something (1);
|
||||
else
|
||||
result = do_something (2);
|
||||
if (i > j) /* branch(80) */
|
||||
/* branch(end) */
|
||||
result = do_something (result*2);
|
||||
if (i > 10) /* branch(80) */
|
||||
/* branch(end) */
|
||||
if (j > 10) /* branch(100) */
|
||||
result = do_something (result*4);
|
||||
return result;
|
||||
}
|
||||
|
||||
int
|
||||
test_ifelse2 (int i)
|
||||
{
|
||||
int result = 0;
|
||||
if (!i) /* branch(83) */
|
||||
/* branch(end) */
|
||||
result = do_something (1);
|
||||
if (i == 1) /* branch(100) */
|
||||
/* branch(end) */
|
||||
result = do_something (1024);
|
||||
if (i == 2) /* branch(50) */
|
||||
/* branch(end) */
|
||||
result = do_something (2);
|
||||
if (i == 3) /* branch(67) */
|
||||
/* branch(end) */
|
||||
return do_something (8);
|
||||
if (i == 4) /* branch(100) */
|
||||
/* branch(end) */
|
||||
return do_something (2048);
|
||||
return result;
|
||||
}
|
||||
|
||||
int
|
||||
test_ifelse3 (int i, int j)
|
||||
{
|
||||
int result = 1;
|
||||
if (i > 10 && j > i && j < 20) /* branch(27 50 75) */
|
||||
/* branch(end) */
|
||||
result = do_something (16);
|
||||
if (i > 20) /* branch(55) */
|
||||
/* branch(end) */
|
||||
if (j > i) /* branch(60) */
|
||||
/* branch(end) */
|
||||
if (j < 30) /* branch(50) */
|
||||
/* branch(end) */
|
||||
result = do_something (32);
|
||||
if (i == 3 || j == 47 || i == j) /* branch(9 10 89) */
|
||||
/* branch(end) */
|
||||
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);
|
||||
}
|
||||
|
||||
/* Check switch statements. */
|
||||
|
||||
int switch_val, switch_m;
|
||||
|
||||
int
|
||||
test_switch (int i, int j)
|
||||
{
|
||||
int result = 0;
|
||||
|
||||
switch (i) /* branch(80 25) */
|
||||
/* branch(end) */
|
||||
{
|
||||
case 1:
|
||||
result = do_something (2);
|
||||
break;
|
||||
case 2:
|
||||
result = do_something (1024);
|
||||
break;
|
||||
case 3:
|
||||
case 4:
|
||||
if (j == 2) /* branch(67) */
|
||||
/* branch(end) */
|
||||
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;
|
||||
}
|
||||
|
||||
/* { dg-final { run-gcov -b gcov-4b.c } } */
|
|
@ -0,0 +1,34 @@
|
|||
/* Check that branch percentages are calculated in variables
|
||||
that are large enough to hold the count. */
|
||||
|
||||
/* { dg-options "-fprofile-arcs -ftest-coverage" } */
|
||||
/* { dg-do run { target native } } */
|
||||
|
||||
#define LIMIT1 7000
|
||||
#define LIMIT2 7000
|
||||
|
||||
int count;
|
||||
|
||||
void incr_count ()
|
||||
{
|
||||
count++;
|
||||
}
|
||||
|
||||
void doit (int i, int j)
|
||||
{
|
||||
if (i > j)
|
||||
incr_count ();
|
||||
}
|
||||
|
||||
int main ()
|
||||
{
|
||||
int i, j;
|
||||
|
||||
for (i = 0; i < LIMIT1; i++)
|
||||
for (j = 0; j < LIMIT2; j++)
|
||||
doit (i, j);
|
||||
|
||||
return 0;
|
||||
}
|
||||
|
||||
/* { dg-final { run-gcov -b gcov-5b.c } } */
|
Loading…
Reference in New Issue