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