1 /* Check that execution counts for various C constructs are reported
2 correctly by gcov. */
3
4 /* { dg-options "-fprofile-arcs -ftest-coverage" } */
5 /* { dg-do run { target native } } */
6
7 extern void abort (void);
8
9 int do_something (int i)
10 {
11 return i;
12 }
13
14 /* Check for loops. */
15
16 int for_val1;
17 int for_val2;
18 int for_temp;
19
20 int
21 test_for1 (int n)
22 {
23 int i;
24 for_temp = 1;
25 for (i = 0; i < n; i++) /* branch(25) */
26 /* branch(end) */
27 for_temp++;
28 return for_temp;
29 }
30
31 int
32 test_for2 (int m, int n, int o)
33 {
34 int i, j, k;
35 for_temp = 1;
36 for (i = 0; i < n; i++) /* branch(30) */
37 /* branch(end) */
38 for (j = 0; j < m; j++) /* branch(32) */
39 /* branch(end) */
40 for (k = 0; k < o; k++) /* branch(27) */
41 /* branch(end) */
42 for_temp++;
43 return for_temp;
44 }
45
46 void
47 call_for ()
48 {
49 for_val1 += test_for1 (0);
50 for_val1 += test_for1 (2);
51 for_val1 += test_for1 (7);
52
53 for_val2 += test_for2 (0, 0, 0);
54 for_val2 += test_for2 (1, 0, 0);
55 for_val2 += test_for2 (1, 3, 0);
56 for_val2 += test_for2 (1, 3, 1);
57 for_val2 += test_for2 (3, 1, 5);
58 for_val2 += test_for2 (3, 7, 3);
59 }
60
61 /* Check the use of goto. */
62
63 int goto_val;
64
65 int
66 test_goto1 (int f)
67 {
68 if (f) /* branch(50) */
69 /* branch(end) */
70 goto lab1;
71 return 1;
72 lab1:
73 return 2;
74 }
75
76 int
77 test_goto2 (int f)
78 {
79 int i;
80 for (i = 0; i < 10; i++) /* branch(7) */
81 /* branch(end) */
82 if (i == f) goto lab2;
83 return 4;
84 lab2:
85 return 8;
86 }
87
88 void
89 call_goto ()
90 {
91 goto_val += test_goto1 (0);
92 goto_val += test_goto1 (1);
93 goto_val += test_goto2 (3);
94 goto_val += test_goto2 (30);
95 }
96
97 /* Check nested if-then-else statements. */
98
99 int ifelse_val1;
100 int ifelse_val2;
101 int ifelse_val3;
102
103 int
104 test_ifelse1 (int i, int j)
105 {
106 int result = 0;
107 if (i) /* branch(40) */
108 /* branch(end) */
109 if (j) /* branch(0) */
110 /* branch(end) */
111 result = do_something (4);
112 else
113 result = do_something (1024);
114 else
115 if (j) /* branch(50) */
116 /* branch(end) */
117 result = do_something (1);
118 else
119 result = do_something (2);
120 if (i > j) /* branch(80) */
121 /* branch(end) */
122 result = do_something (result*2);
123 if (i > 10) /* branch(80) */
124 /* branch(end) */
125 if (j > 10) /* branch(100) */
126 result = do_something (result*4);
127 return result;
128 }
129
130 int
131 test_ifelse2 (int i)
132 {
133 int result = 0;
134 if (!i) /* branch(83) */
135 /* branch(end) */
136 result = do_something (1);
137 if (i == 1) /* branch(100) */
138 /* branch(end) */
139 result = do_something (1024);
140 if (i == 2) /* branch(50) */
141 /* branch(end) */
142 result = do_something (2);
143 if (i == 3) /* branch(67) */
144 /* branch(end) */
145 return do_something (8);
146 if (i == 4) /* branch(100) */
147 /* branch(end) */
148 return do_something (2048);
149 return result;
150 }
151
152 int
153 test_ifelse3 (int i, int j)
154 {
155 int result = 1;
156 if (i > 10 && j > i && j < 20) /* branch(27 50 75) */
157 /* branch(end) */
158 result = do_something (16);
159 if (i > 20) /* branch(55) */
160 /* branch(end) */
161 if (j > i) /* branch(60) */
162 /* branch(end) */
163 if (j < 30) /* branch(50) */
164 /* branch(end) */
165 result = do_something (32);
166 if (i == 3 || j == 47 || i == j) /* branch(9 10 89) */
167 /* branch(end) */
168 result = do_something (64);
169 return result;
170 }
171
172 void
173 call_ifelse ()
174 {
175 ifelse_val1 += test_ifelse1 (0, 2);
176 ifelse_val1 += test_ifelse1 (0, 0);
177 ifelse_val1 += test_ifelse1 (1, 2);
178 ifelse_val1 += test_ifelse1 (10, 2);
179 ifelse_val1 += test_ifelse1 (11, 11);
180
181 ifelse_val2 += test_ifelse2 (0);
182 ifelse_val2 += test_ifelse2 (2);
183 ifelse_val2 += test_ifelse2 (2);
184 ifelse_val2 += test_ifelse2 (2);
185 ifelse_val2 += test_ifelse2 (3);
186 ifelse_val2 += test_ifelse2 (3);
187
188 ifelse_val3 += test_ifelse3 (11, 19);
189 ifelse_val3 += test_ifelse3 (25, 27);
190 ifelse_val3 += test_ifelse3 (11, 22);
191 ifelse_val3 += test_ifelse3 (11, 10);
192 ifelse_val3 += test_ifelse3 (21, 32);
193 ifelse_val3 += test_ifelse3 (21, 20);
194 ifelse_val3 += test_ifelse3 (1, 2);
195 ifelse_val3 += test_ifelse3 (32, 31);
196 ifelse_val3 += test_ifelse3 (3, 0);
197 ifelse_val3 += test_ifelse3 (0, 47);
198 ifelse_val3 += test_ifelse3 (65, 65);
199 }
200
201 /* Check switch statements. */
202
203 int switch_val, switch_m;
204
205 int
206 test_switch (int i, int j)
207 {
208 int result = 0;
209
210 switch (i) /* branch(20 0 60 20) */
211 /* branch(end) */
212 {
213 case 1:
214 result = do_something (2);
215 break;
216 case 2:
217 result = do_something (1024);
218 break;
219 case 3:
220 case 4:
221 if (j == 2) /* branch(67) */
222 /* branch(end) */
223 return do_something (4);
224 result = do_something (8);
225 break;
226 default:
227 result = do_something (32);
228 switch_m++;
229 break;
230 }
231 return result;
232 }
233
234 void
235 call_switch ()
236 {
237 switch_val += test_switch (1, 0);
238 switch_val += test_switch (3, 0);
239 switch_val += test_switch (3, 2);
240 switch_val += test_switch (4, 0);
241 switch_val += test_switch (16, 0);
242 switch_val += switch_m;
243 }
244
245 int
246 main()
247 {
248 call_for ();
249 call_goto ();
250 call_ifelse ();
251 call_switch ();
252 if ((for_val1 != 12)
253 || (for_val2 != 87)
254 || (goto_val != 15)
255 || (ifelse_val1 != 31)
256 || (ifelse_val2 != 23)
257 || (ifelse_val3 != 246)
258 || (switch_val != 55))
259 abort ();
260 return 0;
261 }
262
263 /* { dg-final { run-gcov branches { -b gcov-4b.c } } } */