Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 2fc5a786beaba1fbac1de65d78889d72b667f2d3 / . / clang / test / Analysis / loopexit-cfg-output.cpp
blob: 8e53ce3066b7f7ab0e78eaaba5ca72e65562c09e [file] [log] [blame]
Peter Szecsi999a25f2017-08-19 11:19:16 +0000[diff] [blame]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}