Clang Project

clang_source_code/test/Analysis/loopexit-cfg-output.cpp
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
42void 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
67void 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
96void 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
133void 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
160void 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
185void 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
229void 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
300void 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
368void 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
461void 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
CodeThinker, Enjoy your reading code