1 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG -analyzer-config cfg-loopexit=true %s > %t 2>&1
2 // RUN: FileCheck --input-file=%t %s
3 
4 // CHECK:       [B6 (ENTRY)]
5 // CHECK-NEXT:   Succs (1): B5
6 
7 // CHECK:       [B1]
8 // CHECK-NEXT:   1: ForStmt (LoopExit)
9 // CHECK-NEXT:   2: return;
10 // CHECK-NEXT:   Preds (1): B4
11 // CHECK-NEXT:   Succs (1): B0
12 
13 // CHECK:       [B2]
14 // CHECK-NEXT:   1: i
15 // CHECK-NEXT:   2: [B2.1]++
16 // CHECK-NEXT:   Preds (1): B3
17 // CHECK-NEXT:   Succs (1): B4
18 
19 // CHECK:       [B3]
20 // CHECK-NEXT:   1: i
21 // CHECK-NEXT:   2: [B3.1]++
22 // CHECK-NEXT:   Preds (1): B4
23 // CHECK-NEXT:   Succs (1): B2
24 
25 // CHECK:       [B4]
26 // CHECK-NEXT:   1: i
27 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, LValueToRValue, int)
28 // CHECK-NEXT:   3: 12
29 // CHECK-NEXT:   4: [B4.2] < [B4.3]
30 // CHECK-NEXT:   T: for (...; [B4.4]; ...)
31 // CHECK-NEXT:   Preds (2): B2 B5
32 // CHECK-NEXT:   Succs (2): B3 B1
33 
34 // CHECK:       [B5]
35 // CHECK-NEXT:   1: 0
36 // CHECK-NEXT:   2: int i = 0;
37 // CHECK-NEXT:   Preds (1): B6
38 // CHECK-NEXT:   Succs (1): B4
39 
40 // CHECK:       [B0 (EXIT)]
41 // CHECK-NEXT:   Preds (1): B1
42 void check_forloop1() {
43   for (int i = 0; i < 12; i++) {
44     i++;
45   }
46   return;
47 }
48 
49 // CHECK:       [B4 (ENTRY)]
50 // CHECK-NEXT:   Succs (1): B3
51 
52 // CHECK:       [B1]
53 // CHECK-NEXT:   1: ForStmt (LoopExit)
54 // CHECK-NEXT:   Succs (1): B0
55 
56 // CHECK:       [B2]
57 // CHECK-NEXT:   Preds (1): B3
58 // CHECK-NEXT:   Succs (1): B3
59 
60 // CHECK:       [B3]
61 // CHECK-NEXT:   T: for (; ; )
62 // CHECK-NEXT:   Preds (2): B2 B4
63 // CHECK-NEXT:   Succs (2): B2 NULL
64 
65 // CHECK:       [B0 (EXIT)]
66 // CHECK-NEXT:   Preds (1): B1
67 void check_forloop2() {
68   for (;;)
69     ;
70 }
71 
72 // CHECK:       [B5 (ENTRY)]
73 // CHECK-NEXT:   Succs (1): B4
74 
75 // CHECK:       [B1]
76 // CHECK-NEXT:   1: WhileStmt (LoopExit)
77 // CHECK-NEXT:   Succs (1): B0
78 
79 // CHECK:       [B2]
80 // CHECK-NEXT:   Preds (1): B3
81 // CHECK-NEXT:   Succs (1): B4
82 
83 // CHECK:       [B3]
84 // CHECK-NEXT:   1: int i;
85 // CHECK-NEXT:   Preds (1): B4
86 // CHECK-NEXT:   Succs (1): B2
87 
88 // CHECK:       [B4]
89 // CHECK-NEXT:   1: true
90 // CHECK-NEXT:   T: while [B4.1]
91 // CHECK-NEXT:   Preds (2): B2 B5
92 // CHECK-NEXT:   Succs (2): B3 NULL
93 
94 // CHECK:       [B0 (EXIT)]
95 // CHECK-NEXT:   Preds (1): B1
96 void check_while1() {
97   while (true) {
98     int i;
99   }
100 }
101 
102 // CHECK:       [B5 (ENTRY)]
103 // CHECK-NEXT:   Succs (1): B4
104 
105 // CHECK:       [B1]
106 // CHECK-NEXT:   1: WhileStmt (LoopExit)
107 // CHECK-NEXT:   2: 2
108 // CHECK-NEXT:   3: int k = 2;
109 // CHECK-NEXT:   4: return;
110 // CHECK-NEXT:   Preds (1): B3
111 // CHECK-NEXT:   Succs (1): B0
112 
113 // CHECK:       [B2]
114 // CHECK-NEXT:   Preds (1): B3
115 // CHECK-NEXT:   Succs (1): B3
116 
117 // CHECK:       [B3]
118 // CHECK-NEXT:   1: l
119 // CHECK-NEXT:   2: [B3.1] (ImplicitCastExpr, LValueToRValue, int)
120 // CHECK-NEXT:   3: 42
121 // CHECK-NEXT:   4: [B3.2] < [B3.3]
122 // CHECK-NEXT:   T: while [B3.4]
123 // CHECK-NEXT:   Preds (2): B2 B4
124 // CHECK-NEXT:   Succs (2): B2 B1
125 
126 // CHECK:       [B4]
127 // CHECK-NEXT:   1: int l;
128 // CHECK-NEXT:   Preds (1): B5
129 // CHECK-NEXT:   Succs (1): B3
130 
131 // CHECK:       [B0 (EXIT)]
132 // CHECK-NEXT:   Preds (1): B1
133 void check_while2() {
134   int l;
135   while (l < 42)
136     ;
137   int k = 2;
138   return;
139 }
140 
141 // CHECK:       [B4 (ENTRY)]
142 // CHECK-NEXT:   Succs (1): B3
143 
144 // CHECK:       [B1]
145 // CHECK-NEXT:   1: WhileStmt (LoopExit)
146 // CHECK-NEXT:   Preds (1): B3
147 // CHECK-NEXT:   Succs (1): B0
148 
149 // CHECK:       [B2]
150 // CHECK-NEXT:   Succs (1): B3
151 
152 // CHECK:       [B3]
153 // CHECK-NEXT:   1: false
154 // CHECK-NEXT:   T: while [B3.1]
155 // CHECK-NEXT:   Preds (2): B2 B4
156 // CHECK-NEXT:   Succs (2): NULL B1
157 
158 // CHECK:       [B0 (EXIT)]
159 // CHECK-NEXT:   Preds (1): B1
160 void check_while3() {
161   while (false) {
162     ;
163   }
164 }
165 
166 // CHECK:       [B4 (ENTRY)]
167 // CHECK-NEXT:   Succs (1): B2
168 
169 // CHECK:       [B1]
170 // CHECK-NEXT:   1: DoStmt (LoopExit)
171 // CHECK-NEXT:   Preds (1): B2
172 // CHECK-NEXT:   Succs (1): B0
173 
174 // CHECK:       [B2]
175 // CHECK-NEXT:   1: false
176 // CHECK-NEXT:   T: do ... while [B2.1]
177 // CHECK-NEXT:   Preds (2): B3 B4
178 // CHECK-NEXT:   Succs (2): NULL B1
179 
180 // CHECK:       [B3]
181 // CHECK-NEXT:   Succs (1): B2
182 
183 // CHECK:       [B0 (EXIT)]
184 // CHECK-NEXT:   Preds (1): B1
185 void check_dowhile1() {
186   do {
187   } while (false);
188 }
189 
190 // CHECK:       [B6 (ENTRY)]
191 // CHECK-NEXT:   Succs (1): B5
192 
193 // CHECK:       [B1]
194 // CHECK-NEXT:   1: DoStmt (LoopExit)
195 // CHECK-NEXT:   2: j
196 // CHECK-NEXT:   3: [B1.2]--
197 // CHECK-NEXT:   4: return;
198 // CHECK-NEXT:   Preds (1): B2
199 // CHECK-NEXT:   Succs (1): B0
200 
201 // CHECK:       [B2]
202 // CHECK-NEXT:   1: j
203 // CHECK-NEXT:   2: [B2.1] (ImplicitCastExpr, LValueToRValue, int)
204 // CHECK-NEXT:   3: 20
205 // CHECK-NEXT:   4: [B2.2] < [B2.3]
206 // CHECK-NEXT:   T: do ... while [B2.4]
207 // CHECK-NEXT:   Preds (1): B3
208 // CHECK-NEXT:   Succs (2): B4 B1
209 
210 // CHECK:       [B3]
211 // CHECK-NEXT:   1: j
212 // CHECK-NEXT:   2: 2
213 // CHECK-NEXT:   3: [B3.1] += [B3.2]
214 // CHECK-NEXT:   Preds (2): B4 B5
215 // CHECK-NEXT:   Succs (1): B2
216 
217 // CHECK:       [B4]
218 // CHECK-NEXT:   Preds (1): B2
219 // CHECK-NEXT:   Succs (1): B3
220 
221 // CHECK:       [B5]
222 // CHECK-NEXT:   1: 2
223 // CHECK-NEXT:   2: int j = 2;
224 // CHECK-NEXT:   Preds (1): B6
225 // CHECK-NEXT:   Succs (1): B3
226 
227 // CHECK:       [B0 (EXIT)]
228 // CHECK-NEXT:   Preds (1): B1
229 void check_dowhile2() {
230   int j = 2;
231   do {
232     j += 2;
233   } while (j < 20);
234   j--;
235   return;
236 }
237 
238 // CHECK:       [B10 (ENTRY)]
239 // CHECK-NEXT:   Succs (1): B9
240 
241 // CHECK:       [B1]
242 // CHECK-NEXT:   1: WhileStmt (LoopExit)
243 // CHECK-NEXT:   Preds (1): B8
244 // CHECK-NEXT:   Succs (1): B0
245 
246 // CHECK:       [B2]
247 // CHECK-NEXT:   Preds (1): B3
248 // CHECK-NEXT:   Succs (1): B8
249 
250 // CHECK:       [B3]
251 // CHECK-NEXT:   1: ForStmt (LoopExit)
252 // CHECK-NEXT:   Preds (1): B6
253 // CHECK-NEXT:   Succs (1): B2
254 
255 // CHECK:       [B4]
256 // CHECK-NEXT:   1: j
257 // CHECK-NEXT:   2: [B4.1]++
258 // CHECK-NEXT:   Preds (1): B5
259 // CHECK-NEXT:   Succs (1): B6
260 
261 // CHECK:       [B5]
262 // CHECK-NEXT:   1: i
263 // CHECK-NEXT:   2: [B5.1]++
264 // CHECK-NEXT:   Preds (1): B6
265 // CHECK-NEXT:   Succs (1): B4
266 
267 // CHECK:       [B6]
268 // CHECK-NEXT:   1: j
269 // CHECK-NEXT:   2: [B6.1] (ImplicitCastExpr, LValueToRValue, int)
270 // CHECK-NEXT:   3: 6
271 // CHECK-NEXT:   4: [B6.2] < [B6.3]
272 // CHECK-NEXT:   T: for (...; [B6.4]; ...)
273 // CHECK-NEXT:   Preds (2): B4 B7
274 // CHECK-NEXT:   Succs (2): B5 B3
275 
276 // CHECK:       [B7]
277 // CHECK-NEXT:   1: 1
278 // CHECK-NEXT:   2: int j = 1;
279 // CHECK-NEXT:   Preds (1): B8
280 // CHECK-NEXT:   Succs (1): B6
281 
282 // CHECK:       [B8]
283 // CHECK-NEXT:   1: i
284 // CHECK-NEXT:   2: [B8.1] (ImplicitCastExpr, LValueToRValue, int)
285 // CHECK-NEXT:   3: 2
286 // CHECK-NEXT:   4: [B8.2] < [B8.3]
287 // CHECK-NEXT:   T: while [B8.4]
288 // CHECK-NEXT:   Preds (2): B2 B9
289 // CHECK-NEXT:   Succs (2): B7 B1
290 
291 // CHECK:       [B9]
292 // CHECK-NEXT:   1: 40
293 // CHECK-NEXT:   2: -[B9.1]
294 // CHECK-NEXT:   3: int i = -40;
295 // CHECK-NEXT:   Preds (1): B10
296 // CHECK-NEXT:   Succs (1): B8
297 
298 // CHECK:       [B0 (EXIT)]
299 // CHECK-NEXT:   Preds (1): B1
300 void nested_loops1() {
301   int i = -40;
302   while (i < 2) {
303     for (int j = 1; j < 6; j++)
304       i++;
305   }
306 }
307 
308 // CHECK:       [B9 (ENTRY)]
309 // CHECK-NEXT:   Succs (1): B8
310 
311 // CHECK:       [B1]
312 // CHECK-NEXT:   1: ForStmt (LoopExit)
313 // CHECK-NEXT:   Preds (1): B7
314 // CHECK-NEXT:   Succs (1): B0
315 
316 // CHECK:       [B2]
317 // CHECK-NEXT:   1: j
318 // CHECK-NEXT:   2: [B2.1]++
319 // CHECK-NEXT:   Preds (1): B3
320 // CHECK-NEXT:   Succs (1): B7
321 
322 // CHECK:       [B3]
323 // CHECK-NEXT:   1: DoStmt (LoopExit)
324 // CHECK-NEXT:   2: i
325 // CHECK-NEXT:   3: [B3.2]--
326 // CHECK-NEXT:   Preds (1): B4
327 // CHECK-NEXT:   Succs (1): B2
328 
329 // CHECK:       [B4]
330 // CHECK-NEXT:   1: i
331 // CHECK-NEXT:   2: [B4.1] (ImplicitCastExpr, LValueToRValue, int)
332 // CHECK-NEXT:   3: 2
333 // CHECK-NEXT:   4: [B4.2] < [B4.3]
334 // CHECK-NEXT:   T: do ... while [B4.4]
335 // CHECK-NEXT:   Preds (1): B5
336 // CHECK-NEXT:   Succs (2): B6 B3
337 
338 // CHECK:       [B5]
339 // CHECK-NEXT:   1: i
340 // CHECK-NEXT:   2: [B5.1]++
341 // CHECK-NEXT:   Preds (2): B6 B7
342 // CHECK-NEXT:   Succs (1): B4
343 
344 // CHECK:       [B6]
345 // CHECK-NEXT:   Preds (1): B4
346 // CHECK-NEXT:   Succs (1): B5
347 
348 // CHECK:       [B7]
349 // CHECK-NEXT:   1: j
350 // CHECK-NEXT:   2: [B7.1] (ImplicitCastExpr, LValueToRValue, int)
351 // CHECK-NEXT:   3: 6
352 // CHECK-NEXT:   4: [B7.2] < [B7.3]
353 // CHECK-NEXT:   T: for (...; [B7.4]; ...)
354 // CHECK-NEXT:   Preds (2): B2 B8
355 // CHECK-NEXT:   Succs (2): B5 B1
356 
357 // CHECK:       [B8]
358 // CHECK-NEXT:   1: 40
359 // CHECK-NEXT:   2: -[B8.1]
360 // CHECK-NEXT:   3: int i = -40;
361 // CHECK-NEXT:   4: 1
362 // CHECK-NEXT:   5: int j = 1;
363 // CHECK-NEXT:   Preds (1): B9
364 // CHECK-NEXT:   Succs (1): B7
365 
366 // CHECK:       [B0 (EXIT)]
367 // CHECK-NEXT:   Preds (1): B1
368 void nested_loops2() {
369   int i = -40;
370   for (int j = 1; j < 6; j++) {
371     do {
372       i++;
373     } while (i < 2);
374     i--;
375   }
376 }
377 
378 // CHECK:       [B12 (ENTRY)]
379 // CHECK-NEXT:   Succs (1): B11
380 
381 // CHECK:       [B1]
382 // CHECK-NEXT:   1: WhileStmt (LoopExit)
383 // CHECK-NEXT:   2: return;
384 // CHECK-NEXT:   Preds (2): B3 B5
385 // CHECK-NEXT:   Succs (1): B0
386 
387 // CHECK:       [B2]
388 // CHECK-NEXT:   Preds (1): B4
389 // CHECK-NEXT:   Succs (1): B5
390 
391 // CHECK:       [B3]
392 // CHECK-NEXT:   T: break;
393 // CHECK-NEXT:   Preds (1): B4
394 // CHECK-NEXT:   Succs (1): B1
395 
396 // CHECK:       [B4]
397 // CHECK-NEXT:   1: i
398 // CHECK-NEXT:   2: [B4.1]++
399 // CHECK-NEXT:   3: i
400 // CHECK-NEXT:   4: [B4.3] (ImplicitCastExpr, LValueToRValue, int)
401 // CHECK-NEXT:   5: 2
402 // CHECK-NEXT:   6: [B4.4] % [B4.5]
403 // CHECK-NEXT:   7: [B4.6] (ImplicitCastExpr, IntegralToBoolean, _Bool)
404 // CHECK-NEXT:   T: if [B4.7]
405 // CHECK-NEXT:   Preds (1): B5
406 // CHECK-NEXT:   Succs (2): B3 B2
407 
408 // CHECK:       [B5]
409 // CHECK-NEXT:   1: i
410 // CHECK-NEXT:   2: [B5.1] (ImplicitCastExpr, LValueToRValue, int)
411 // CHECK-NEXT:   3: 5
412 // CHECK-NEXT:   4: [B5.2] < [B5.3]
413 // CHECK-NEXT:   T: while [B5.4]
414 // CHECK-NEXT:   Preds (2): B2 B6
415 // CHECK-NEXT:   Succs (2): B4 B1
416 
417 // CHECK:       [B6]
418 // CHECK-NEXT:   1: ForStmt (LoopExit)
419 // CHECK-NEXT:   2: 1
420 // CHECK-NEXT:   3: int i = 1;
421 // CHECK-NEXT:   Preds (2): B8 B10
422 // CHECK-NEXT:   Succs (1): B5
423 
424 // CHECK:       [B7]
425 // CHECK-NEXT:   1: i
426 // CHECK-NEXT:   2: [B7.1]++
427 // CHECK-NEXT:   Preds (1): B9
428 // CHECK-NEXT:   Succs (1): B10
429 
430 // CHECK:       [B8]
431 // CHECK-NEXT:   T: break;
432 // CHECK-NEXT:   Preds (1): B9
433 // CHECK-NEXT:   Succs (1): B6
434 
435 // CHECK:       [B9]
436 // CHECK-NEXT:   1: i
437 // CHECK-NEXT:   2: [B9.1] (ImplicitCastExpr, LValueToRValue, int)
438 // CHECK-NEXT:   3: 4
439 // CHECK-NEXT:   4: [B9.2] == [B9.3]
440 // CHECK-NEXT:   T: if [B9.4]
441 // CHECK-NEXT:   Preds (1): B10
442 // CHECK-NEXT:   Succs (2): B8 B7
443 
444 // CHECK:       [B10]
445 // CHECK-NEXT:   1: i
446 // CHECK-NEXT:   2: [B10.1] (ImplicitCastExpr, LValueToRValue, int)
447 // CHECK-NEXT:   3: 6
448 // CHECK-NEXT:   4: [B10.2] < [B10.3]
449 // CHECK-NEXT:   T: for (...; [B10.4]; ...)
450 // CHECK-NEXT:   Preds (2): B7 B11
451 // CHECK-NEXT:   Succs (2): B9 B6
452 
453 // CHECK:       [B11]
454 // CHECK-NEXT:   1: 2
455 // CHECK-NEXT:   2: int i = 2;
456 // CHECK-NEXT:   Preds (1): B12
457 // CHECK-NEXT:   Succs (1): B10
458 
459 // CHECK:       [B0 (EXIT)]
460 // CHECK-NEXT:   Preds (1): B1
461 void check_break()
462 {
463   for(int i = 2; i < 6; i++) {
464     if(i == 4)
465       break;
466   }
467 
468   int i = 1;
469   while(i<5){
470     i++;
471     if(i%2)
472       break;
473   }
474 
475   return;
476 }
477