Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / abea951c34876a5374d0e3678c7989b225c5c895 / . / test / Analysis / auto-obj-dtors-cfg-output.cpp
blob: 6dccf9f846e3eeccb1c75f023745dd948af664d7 [file] [log] [blame]
Anders Carlssonabea9512011-02-28 00:40:07 +0000[diff] [blame^]1// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -analyze -analyzer-checker=debug.DumpCFG -cfg-add-implicit-dtors %s 2>&1 | FileCheck %s
Marcin Swiderskifcb72ac2010-10-01 00:23:17 +0000[diff] [blame]2// XPASS: *
3
4class A {
5public:
6 A() {}
7 ~A() {}
8 operator int() const { return 1; }
9};
10
11extern const bool UV;
12
13void test_const_ref() {
14 A a;
15 const A& b = a;
16 const A& c = A();
17}
18
Marcin Swiderskib1c52872010-10-25 07:00:40 +0000[diff] [blame]19void test_array() {
20 A a[2];
21 A b[0];
22}
23
Marcin Swiderskifcb72ac2010-10-01 00:23:17 +0000[diff] [blame]24void test_scope() {
25 A a;
26 { A c;
27 A d;
28 }
29 A b;
30}
31
32void test_return() {
33 A a;
34 A b;
35 if (UV) return;
36 A c;
37}
38
39void test_goto() {
40 A a;
41l0:
42 A b;
43 { A a;
44 if (UV) goto l0;
45 if (UV) goto l1;
46 A b;
47 }
48l1:
49 A c;
50}
51
Marcin Swiderski04e046c2010-10-01 00:52:17 +0000[diff] [blame]52void test_if_implicit_scope() {
53 A a;
54 if (A b = a)
55 A c;
56 else A c;
57}
58
59void test_if_jumps() {
60 A a;
61 if (A b = a) {
62 A c;
63 if (UV) return;
64 A d;
65 } else {
66 A c;
67 if (UV) return;
68 A d;
69 }
70 A e;
71}
72
Marcin Swiderski05adedc2010-10-01 01:14:17 +0000[diff] [blame]73void test_while_implicit_scope() {
74 A a;
75 while (A b = a)
76 A c;
77}
78
79void test_while_jumps() {
80 A a;
81 while (A b = a) {
82 A c;
83 if (UV) break;
84 if (UV) continue;
85 if (UV) return;
86 A d;
87 }
88 A e;
89}
90
91void test_do_implicit_scope() {
92 do A a;
93 while (UV);
94}
95
96void test_do_jumps() {
97 A a;
98 do {
99 A b;
100 if (UV) break;
101 if (UV) continue;
102 if (UV) return;
103 A c;
104 } while (UV);
105 A d;
106}
107
Marcin Swiderski8ae60582010-10-01 01:24:41 +0000[diff] [blame]108void test_switch_implicit_scope() {
109 A a;
110 switch (A b = a)
111 A c;
112}
113
114void test_switch_jumps() {
115 A a;
116 switch (A b = a) {
117 case 0: {
118 A c;
119 if (UV) break;
120 if (UV) return;
121 A f;
122 }
123 case 1:
124 break;
125 }
126 A g;
127}
128
Marcin Swiderski47575f12010-10-01 01:38:14 +0000[diff] [blame]129void test_for_implicit_scope() {
130 for (A a; A b = a; )
131 A c;
132}
133
134void test_for_jumps() {
135 A a;
136 for (A b; A c = b; ) {
137 A d;
138 if (UV) break;
139 if (UV) continue;
140 if (UV) return;
141 A e;
142 }
143 A f;
144}
145
Marcin Swiderski0e97bcb2010-10-01 01:46:52 +0000[diff] [blame]146void test_catch_const_ref() {
147 try {
148 } catch (const A& e) {
149 }
150}
151
152void test_catch_copy() {
153 try {
154 } catch (A e) {
155 }
156}
157
Zhongxing Xu81bc7d02010-11-01 06:46:05 +0000[diff] [blame]158// CHECK: [ B2 (ENTRY) ]
Marcin Swiderskib1c52872010-10-25 07:00:40 +0000[diff] [blame]159// CHECK: Predecessors (0):
160// CHECK: Successors (1): B1
Zhongxing Xu81bc7d02010-11-01 06:46:05 +0000[diff] [blame]161// CHECK: [ B1 ]
162// CHECK: 1:
163// CHECK: 2: A a;
164// CHECK: 3: const A &b = a;
165// CHECK: 4: A()
166// CHECK: 5: const A &c = A();
167// CHECK: 6: [B1.5].~A() (Implicit destructor)
168// CHECK: 7: [B1.2].~A() (Implicit destructor)
Marcin Swiderskib1c52872010-10-25 07:00:40 +0000[diff] [blame]169// CHECK: Predecessors (1): B2
170// CHECK: Successors (1): B0
Zhongxing Xu81bc7d02010-11-01 06:46:05 +0000[diff] [blame]171// CHECK: [ B0 (EXIT) ]
Marcin Swiderskib1c52872010-10-25 07:00:40 +0000[diff] [blame]172// CHECK: Predecessors (1): B1
173// CHECK: Successors (0):
Zhongxing Xu81bc7d02010-11-01 06:46:05 +0000[diff] [blame]174// CHECK: [ B2 (ENTRY) ]
175// CHECK: Predecessors (0):
176// CHECK: Successors (1): B1
177// CHECK: [ B1 ]
178// CHECK: 1:
179// CHECK: 2: A a[2];
180// CHECK: 3:
181// CHECK: 4: A b[0];
182// CHECK: 5: [B1.2].~A() (Implicit destructor)
183// CHECK: Predecessors (1): B2
184// CHECK: Successors (1): B0
185// CHECK: [ B0 (EXIT) ]
186// CHECK: Predecessors (1): B1
187// CHECK: Successors (0):
188// CHECK: [ B2 (ENTRY) ]
189// CHECK: Predecessors (0):
190// CHECK: Successors (1): B1
191// CHECK: [ B1 ]
192// CHECK: 1:
193// CHECK: 2: A a;
194// CHECK: 3:
195// CHECK: 4: A c;
196// CHECK: 5:
197// CHECK: 6: A d;
198// CHECK: 7: [B1.6].~A() (Implicit destructor)
199// CHECK: 8: [B1.4].~A() (Implicit destructor)
200// CHECK: 9:
201// CHECK: 10: A b;
202// CHECK: 11: [B1.10].~A() (Implicit destructor)
203// CHECK: 12: [B1.2].~A() (Implicit destructor)
204// CHECK: Predecessors (1): B2
205// CHECK: Successors (1): B0
206// CHECK: [ B0 (EXIT) ]
207// CHECK: Predecessors (1): B1
208// CHECK: Successors (0):
209// CHECK: [ B4 (ENTRY) ]
210// CHECK: Predecessors (0):
211// CHECK: Successors (1): B3
212// CHECK: [ B1 ]
213// CHECK: 1:
214// CHECK: 2: A c;
215// CHECK: 3: [B1.2].~A() (Implicit destructor)
216// CHECK: 4: [B3.4].~A() (Implicit destructor)
217// CHECK: 5: [B3.2].~A() (Implicit destructor)
218// CHECK: Predecessors (1): B3
219// CHECK: Successors (1): B0
220// CHECK: [ B2 ]
221// CHECK: 1: return;
222// CHECK: 2: [B3.4].~A() (Implicit destructor)
223// CHECK: 3: [B3.2].~A() (Implicit destructor)
224// CHECK: Predecessors (1): B3
225// CHECK: Successors (1): B0
226// CHECK: [ B3 ]
227// CHECK: 1:
228// CHECK: 2: A a;
229// CHECK: 3:
230// CHECK: 4: A b;
231// CHECK: 5: UV
232// CHECK: T: if [B3.5]
233// CHECK: Predecessors (1): B4
234// CHECK: Successors (2): B2 B1
235// CHECK: [ B0 (EXIT) ]
236// CHECK: Predecessors (2): B1 B2
237// CHECK: Successors (0):
238// CHECK: [ B8 (ENTRY) ]
239// CHECK: Predecessors (0):
240// CHECK: Successors (1): B7
241// CHECK: [ B1 ]
242// CHECK: l1:
243// CHECK: 1:
244// CHECK: 2: A c;
245// CHECK: 3: [B1.2].~A() (Implicit destructor)
246// CHECK: 4: [B6.2].~A() (Implicit destructor)
247// CHECK: 5: [B7.2].~A() (Implicit destructor)
248// CHECK: Predecessors (2): B2 B3
249// CHECK: Successors (1): B0
250// CHECK: [ B2 ]
251// CHECK: 1:
252// CHECK: 2: A b;
253// CHECK: 3: [B2.2].~A() (Implicit destructor)
254// CHECK: 4: [B6.4].~A() (Implicit destructor)
255// CHECK: Predecessors (1): B4
256// CHECK: Successors (1): B1
257// CHECK: [ B3 ]
258// CHECK: 1: [B6.4].~A() (Implicit destructor)
259// CHECK: T: goto l1;
260// CHECK: Predecessors (1): B4
261// CHECK: Successors (1): B1
262// CHECK: [ B4 ]
263// CHECK: 1: UV
264// CHECK: T: if [B4.1]
265// CHECK: Predecessors (1): B6
266// CHECK: Successors (2): B3 B2
267// CHECK: [ B5 ]
268// CHECK: 1: [B6.4].~A() (Implicit destructor)
269// CHECK: 2: [B6.2].~A() (Implicit destructor)
270// CHECK: T: goto l0;
271// CHECK: Predecessors (1): B6
272// CHECK: Successors (1): B6
273// CHECK: [ B6 ]
274// CHECK: l0:
275// CHECK: 1:
276// CHECK: 2: A b;
277// CHECK: 3:
278// CHECK: 4: A a;
279// CHECK: 5: UV
280// CHECK: T: if [B6.5]
281// CHECK: Predecessors (2): B7 B5
282// CHECK: Successors (2): B5 B4
283// CHECK: [ B7 ]
284// CHECK: 1:
285// CHECK: 2: A a;
286// CHECK: Predecessors (1): B8
287// CHECK: Successors (1): B6
288// CHECK: [ B0 (EXIT) ]
289// CHECK: Predecessors (1): B1
290// CHECK: Successors (0):
291// CHECK: [ B5 (ENTRY) ]
292// CHECK: Predecessors (0):
293// CHECK: Successors (1): B4
294// CHECK: [ B1 ]
295// CHECK: 1: [B4.4].~A() (Implicit destructor)
296// CHECK: 2: [B4.2].~A() (Implicit destructor)
297// CHECK: Predecessors (2): B2 B3
298// CHECK: Successors (1): B0
299// CHECK: [ B2 ]
300// CHECK: 1:
301// CHECK: 2: A c;
302// CHECK: 3: [B2.2].~A() (Implicit destructor)
303// CHECK: Predecessors (1): B4
304// CHECK: Successors (1): B1
305// CHECK: [ B3 ]
306// CHECK: 1:
307// CHECK: 2: A c;
308// CHECK: 3: [B3.2].~A() (Implicit destructor)
309// CHECK: Predecessors (1): B4
310// CHECK: Successors (1): B1
311// CHECK: [ B4 ]
312// CHECK: 1:
313// CHECK: 2: A a;
314// CHECK: 3: a
315// CHECK: 4: if ([B4.6])
316// CHECK:[B3.2]else
317// CHECK:[B2.2] 5: b.operator int()
318// CHECK: 6: [B4.5]
319// CHECK: T: if [B4.6]
320// CHECK: Predecessors (1): B5
321// CHECK: Successors (2): B3 B2
322// CHECK: [ B0 (EXIT) ]
323// CHECK: Predecessors (1): B1
324// CHECK: Successors (0):
325// CHECK: [ B9 (ENTRY) ]
326// CHECK: Predecessors (0):
327// CHECK: Successors (1): B8
328// CHECK: [ B1 ]
329// CHECK: 1: [B8.4].~A() (Implicit destructor)
330// CHECK: 2:
331// CHECK: 3: A e;
332// CHECK: 4: [B1.3].~A() (Implicit destructor)
333// CHECK: 5: [B8.2].~A() (Implicit destructor)
334// CHECK: Predecessors (2): B2 B5
335// CHECK: Successors (1): B0
336// CHECK: [ B2 ]
337// CHECK: 1:
338// CHECK: 2: A d;
339// CHECK: 3: [B2.2].~A() (Implicit destructor)
340// CHECK: 4: [B4.2].~A() (Implicit destructor)
341// CHECK: Predecessors (1): B4
342// CHECK: Successors (1): B1
343// CHECK: [ B3 ]
344// CHECK: 1: return;
345// CHECK: 2: [B4.2].~A() (Implicit destructor)
346// CHECK: 3: [B8.4].~A() (Implicit destructor)
347// CHECK: 4: [B8.2].~A() (Implicit destructor)
348// CHECK: Predecessors (1): B4
349// CHECK: Successors (1): B0
350// CHECK: [ B4 ]
351// CHECK: 1:
352// CHECK: 2: A c;
353// CHECK: 3: UV
354// CHECK: T: if [B4.3]
355// CHECK: Predecessors (1): B8
356// CHECK: Successors (2): B3 B2
357// CHECK: [ B5 ]
358// CHECK: 1:
359// CHECK: 2: A d;
360// CHECK: 3: [B5.2].~A() (Implicit destructor)
361// CHECK: 4: [B7.2].~A() (Implicit destructor)
362// CHECK: Predecessors (1): B7
363// CHECK: Successors (1): B1
364// CHECK: [ B6 ]
365// CHECK: 1: return;
366// CHECK: 2: [B7.2].~A() (Implicit destructor)
367// CHECK: 3: [B8.4].~A() (Implicit destructor)
368// CHECK: 4: [B8.2].~A() (Implicit destructor)
369// CHECK: Predecessors (1): B7
370// CHECK: Successors (1): B0
371// CHECK: [ B7 ]
372// CHECK: 1:
373// CHECK: 2: A c;
374// CHECK: 3: UV
375// CHECK: T: if [B7.3]
376// CHECK: Predecessors (1): B8
377// CHECK: Successors (2): B6 B5
378// CHECK: [ B8 ]
379// CHECK: 1:
380// CHECK: 2: A a;
381// CHECK: 3: a
382// CHECK: 4: if ([B8.6]) {
383// CHECK:[B7.2] if ([B7.3])
384// CHECK:[B6.1][B5.2]} else {
385// CHECK:[B4.2] if ([B4.3])
386// CHECK:[B3.1][B2.2]}
387// CHECK: 5: b.operator int()
388// CHECK: 6: [B8.5]
389// CHECK: T: if [B8.6]
390// CHECK: Predecessors (1): B9
391// CHECK: Successors (2): B7 B4
392// CHECK: [ B0 (EXIT) ]
393// CHECK: Predecessors (3): B1 B3 B6
394// CHECK: Successors (0):
395// CHECK: [ B6 (ENTRY) ]
396// CHECK: Predecessors (0):
397// CHECK: Successors (1): B5
398// CHECK: [ B1 ]
399// CHECK: 1: [B2.2].~A() (Implicit destructor)
400// CHECK: 2: [B5.2].~A() (Implicit destructor)
401// CHECK: Predecessors (1): B2
402// CHECK: Successors (1): B0
403// CHECK: [ B2 ]
404// CHECK: 1: a
405// CHECK: 2: while ([B2.4])
406// CHECK:[B4.2] 3: b.operator int()
407// CHECK: 4: [B2.3]
408// CHECK: T: while [B2.4]
409// CHECK: Predecessors (2): B3 B5
410// CHECK: Successors (2): B4 B1
411// CHECK: [ B3 ]
412// CHECK: Predecessors (1): B4
413// CHECK: Successors (1): B2
414// CHECK: [ B4 ]
415// CHECK: 1:
416// CHECK: 2: A c;
417// CHECK: 3: [B4.2].~A() (Implicit destructor)
418// CHECK: 4: [B2.2].~A() (Implicit destructor)
419// CHECK: Predecessors (1): B2
420// CHECK: Successors (1): B3
421// CHECK: [ B5 ]
422// CHECK: 1:
423// CHECK: 2: A a;
424// CHECK: Predecessors (1): B6
425// CHECK: Successors (1): B2
426// CHECK: [ B0 (EXIT) ]
427// CHECK: Predecessors (1): B1
428// CHECK: Successors (0):
429// CHECK: [ B12 (ENTRY) ]
430// CHECK: Predecessors (0):
431// CHECK: Successors (1): B11
432// CHECK: [ B1 ]
433// CHECK: 1: [B2.2].~A() (Implicit destructor)
434// CHECK: 2:
435// CHECK: 3: A e;
436// CHECK: 4: [B1.3].~A() (Implicit destructor)
437// CHECK: 5: [B11.2].~A() (Implicit destructor)
438// CHECK: Predecessors (2): B9 B2
439// CHECK: Successors (1): B0
440// CHECK: [ B2 ]
441// CHECK: 1: a
442// CHECK: 2: while ([B2.4])
443// CHECK: {
444// CHECK:[B10.2] if ([B10.3])
445// CHECK: break;
446// CHECK: if ([B8.1])
447// CHECK: continue;
448// CHECK: if ([B6.1])
449// CHECK:[B5.1][B4.2] }
450// CHECK: 3: b.operator int()
451// CHECK: 4: [B2.3]
452// CHECK: T: while [B2.4]
453// CHECK: Predecessors (2): B3 B11
454// CHECK: Successors (2): B10 B1
455// CHECK: [ B3 ]
456// CHECK: Predecessors (2): B4 B7
457// CHECK: Successors (1): B2
458// CHECK: [ B4 ]
459// CHECK: 1:
460// CHECK: 2: A d;
461// CHECK: 3: [B4.2].~A() (Implicit destructor)
462// CHECK: 4: [B10.2].~A() (Implicit destructor)
463// CHECK: 5: [B2.2].~A() (Implicit destructor)
464// CHECK: Predecessors (1): B6
465// CHECK: Successors (1): B3
466// CHECK: [ B5 ]
467// CHECK: 1: return;
468// CHECK: 2: [B10.2].~A() (Implicit destructor)
469// CHECK: 3: [B2.2].~A() (Implicit destructor)
470// CHECK: 4: [B11.2].~A() (Implicit destructor)
471// CHECK: Predecessors (1): B6
472// CHECK: Successors (1): B0
473// CHECK: [ B6 ]
474// CHECK: 1: UV
475// CHECK: T: if [B6.1]
476// CHECK: Predecessors (1): B8
477// CHECK: Successors (2): B5 B4
478// CHECK: [ B7 ]
479// CHECK: 1: [B10.2].~A() (Implicit destructor)
480// CHECK: 2: [B2.2].~A() (Implicit destructor)
481// CHECK: T: continue;
482// CHECK: Predecessors (1): B8
483// CHECK: Successors (1): B3
484// CHECK: [ B8 ]
485// CHECK: 1: UV
486// CHECK: T: if [B8.1]
487// CHECK: Predecessors (1): B10
488// CHECK: Successors (2): B7 B6
489// CHECK: [ B9 ]
490// CHECK: 1: [B10.2].~A() (Implicit destructor)
491// CHECK: T: break;
492// CHECK: Predecessors (1): B10
493// CHECK: Successors (1): B1
494// CHECK: [ B10 ]
495// CHECK: 1:
496// CHECK: 2: A c;
497// CHECK: 3: UV
498// CHECK: T: if [B10.3]
499// CHECK: Predecessors (1): B2
500// CHECK: Successors (2): B9 B8
501// CHECK: [ B11 ]
502// CHECK: 1:
503// CHECK: 2: A a;
504// CHECK: Predecessors (1): B12
505// CHECK: Successors (1): B2
506// CHECK: [ B0 (EXIT) ]
507// CHECK: Predecessors (2): B1 B5
508// CHECK: Successors (0):
509// CHECK: [ B4 (ENTRY) ]
510// CHECK: Predecessors (0):
511// CHECK: Successors (1): B2
512// CHECK: [ B1 ]
513// CHECK: 1: UV
514// CHECK: T: do ... while [B1.1]
515// CHECK: Predecessors (1): B2
516// CHECK: Successors (2): B3 B0
517// CHECK: [ B2 ]
518// CHECK: 1:
519// CHECK: 2: A a;
520// CHECK: 3: [B2.2].~A() (Implicit destructor)
521// CHECK: Predecessors (2): B3 B4
522// CHECK: Successors (1): B1
523// CHECK: [ B3 ]
524// CHECK: Predecessors (1): B1
525// CHECK: Successors (1): B2
526// CHECK: [ B0 (EXIT) ]
527// CHECK: Predecessors (1): B1
528// CHECK: Successors (0):
529// CHECK: [ B12 (ENTRY) ]
530// CHECK: Predecessors (0):
531// CHECK: Successors (1): B11
532// CHECK: [ B1 ]
533// CHECK: 1:
534// CHECK: 2: A d;
535// CHECK: 3: [B1.2].~A() (Implicit destructor)
536// CHECK: 4: [B11.2].~A() (Implicit destructor)
537// CHECK: Predecessors (2): B8 B2
538// CHECK: Successors (1): B0
539// CHECK: [ B2 ]
540// CHECK: 1: UV
541// CHECK: T: do ... while [B2.1]
542// CHECK: Predecessors (2): B3 B6
543// CHECK: Successors (2): B10 B1
544// CHECK: [ B3 ]
545// CHECK: 1:
546// CHECK: 2: A c;
547// CHECK: 3: [B3.2].~A() (Implicit destructor)
548// CHECK: 4: [B9.2].~A() (Implicit destructor)
549// CHECK: Predecessors (1): B5
550// CHECK: Successors (1): B2
551// CHECK: [ B4 ]
552// CHECK: 1: return;
553// CHECK: 2: [B9.2].~A() (Implicit destructor)
554// CHECK: 3: [B11.2].~A() (Implicit destructor)
555// CHECK: Predecessors (1): B5
556// CHECK: Successors (1): B0
557// CHECK: [ B5 ]
558// CHECK: 1: UV
559// CHECK: T: if [B5.1]
560// CHECK: Predecessors (1): B7
561// CHECK: Successors (2): B4 B3
562// CHECK: [ B6 ]
563// CHECK: 1: [B9.2].~A() (Implicit destructor)
564// CHECK: T: continue;
565// CHECK: Predecessors (1): B7
566// CHECK: Successors (1): B2
567// CHECK: [ B7 ]
568// CHECK: 1: UV
569// CHECK: T: if [B7.1]
570// CHECK: Predecessors (1): B9
571// CHECK: Successors (2): B6 B5
572// CHECK: [ B8 ]
573// CHECK: 1: [B9.2].~A() (Implicit destructor)
574// CHECK: T: break;
575// CHECK: Predecessors (1): B9
576// CHECK: Successors (1): B1
577// CHECK: [ B9 ]
578// CHECK: 1:
579// CHECK: 2: A b;
580// CHECK: 3: UV
581// CHECK: T: if [B9.3]
582// CHECK: Predecessors (2): B10 B11
583// CHECK: Successors (2): B8 B7
584// CHECK: [ B10 ]
585// CHECK: Predecessors (1): B2
586// CHECK: Successors (1): B9
587// CHECK: [ B11 ]
588// CHECK: 1:
589// CHECK: 2: A a;
590// CHECK: Predecessors (1): B12
591// CHECK: Successors (1): B9
592// CHECK: [ B0 (EXIT) ]
593// CHECK: Predecessors (2): B1 B4
594// CHECK: Successors (0):
595// CHECK: [ B4 (ENTRY) ]
596// CHECK: Predecessors (0):
597// CHECK: Successors (1): B2
598// CHECK: [ B1 ]
599// CHECK: 1: [B2.4].~A() (Implicit destructor)
600// CHECK: 2: [B2.2].~A() (Implicit destructor)
601// CHECK: Predecessors (2): B3 B2
602// CHECK: Successors (1): B0
603// CHECK: [ B2 ]
604// CHECK: 1:
605// CHECK: 2: A a;
606// CHECK: 3: a
607// CHECK: 4: switch ([B2.5])
608// CHECK:[B3.2] 5: b.operator int()
609// CHECK: T: switch [B2.5]
610// CHECK: Predecessors (1): B4
611// CHECK: Successors (1): B1
612// CHECK: [ B3 ]
613// CHECK: 1:
614// CHECK: 2: A c;
615// CHECK: 3: [B3.2].~A() (Implicit destructor)
616// CHECK: Predecessors (0):
617// CHECK: Successors (1): B1
618// CHECK: [ B0 (EXIT) ]
619// CHECK: Predecessors (1): B1
620// CHECK: Successors (0):
621// CHECK: [ B9 (ENTRY) ]
622// CHECK: Predecessors (0):
623// CHECK: Successors (1): B2
624// CHECK: [ B1 ]
625// CHECK: 1: [B2.4].~A() (Implicit destructor)
626// CHECK: 2:
627// CHECK: 3: A g;
628// CHECK: 4: [B1.3].~A() (Implicit destructor)
629// CHECK: 5: [B2.2].~A() (Implicit destructor)
630// CHECK: Predecessors (3): B3 B7 B2
631// CHECK: Successors (1): B0
632// CHECK: [ B2 ]
633// CHECK: 1:
634// CHECK: 2: A a;
635// CHECK: 3: a
636// CHECK: 4: switch ([B2.5]) {
637// CHECK: case 0:
638// CHECK: {
639// CHECK:[B8.2] if ([B8.3])
640// CHECK: break;
641// CHECK: if ([B6.1])
642// CHECK:[B5.1][B4.2] }
643// CHECK: case 1:
644// CHECK: break;
645// CHECK:}
646// CHECK: 5: b.operator int()
647// CHECK: T: switch [B2.5]
648// CHECK: Predecessors (1): B9
649// CHECK: Successors (3): B3 B8
650// CHECK: B1
651// CHECK: [ B3 ]
652// CHECK: case 1:
653// CHECK: T: break;
654// CHECK: Predecessors (2): B2 B4
655// CHECK: Successors (1): B1
656// CHECK: [ B4 ]
657// CHECK: 1:
658// CHECK: 2: A f;
659// CHECK: 3: [B4.2].~A() (Implicit destructor)
660// CHECK: 4: [B8.2].~A() (Implicit destructor)
661// CHECK: Predecessors (1): B6
662// CHECK: Successors (1): B3
663// CHECK: [ B5 ]
664// CHECK: 1: return;
665// CHECK: 2: [B8.2].~A() (Implicit destructor)
666// CHECK: 3: [B2.4].~A() (Implicit destructor)
667// CHECK: 4: [B2.2].~A() (Implicit destructor)
668// CHECK: Predecessors (1): B6
669// CHECK: Successors (1): B0
670// CHECK: [ B6 ]
671// CHECK: 1: UV
672// CHECK: T: if [B6.1]
673// CHECK: Predecessors (1): B8
674// CHECK: Successors (2): B5 B4
675// CHECK: [ B7 ]
676// CHECK: 1: [B8.2].~A() (Implicit destructor)
677// CHECK: T: break;
678// CHECK: Predecessors (1): B8
679// CHECK: Successors (1): B1
680// CHECK: [ B8 ]
681// CHECK: case 0:
682// CHECK: 1:
683// CHECK: 2: A c;
684// CHECK: 3: UV
685// CHECK: T: if [B8.3]
686// CHECK: Predecessors (1): B2
687// CHECK: Successors (2): B7 B6
688// CHECK: [ B0 (EXIT) ]
689// CHECK: Predecessors (2): B1 B5
690// CHECK: Successors (0):
691// CHECK: [ B6 (ENTRY) ]
692// CHECK: Predecessors (0):
693// CHECK: Successors (1): B5
694// CHECK: [ B1 ]
695// CHECK: 1: [B2.2].~A() (Implicit destructor)
696// CHECK: 2: [B5.2].~A() (Implicit destructor)
697// CHECK: Predecessors (1): B2
698// CHECK: Successors (1): B0
699// CHECK: [ B2 ]
700// CHECK: 1: a
701// CHECK: 2: for (A a; [B2.4];)
702// CHECK:[B4.2] 3: b.operator int()
703// CHECK: 4: [B2.3]
704// CHECK: T: for (...; [B2.4]; )
705// CHECK: Predecessors (2): B3 B5
706// CHECK: Successors (2): B4 B1
707// CHECK: [ B3 ]
708// CHECK: 1: [B2.2].~A() (Implicit destructor)
709// CHECK: Predecessors (1): B4
710// CHECK: Successors (1): B2
711// CHECK: [ B4 ]
712// CHECK: 1:
713// CHECK: 2: A c;
714// CHECK: 3: [B4.2].~A() (Implicit destructor)
715// CHECK: Predecessors (1): B2
716// CHECK: Successors (1): B3
717// CHECK: [ B5 ]
718// CHECK: 1:
719// CHECK: 2: A a;
720// CHECK: Predecessors (1): B6
721// CHECK: Successors (1): B2
722// CHECK: [ B0 (EXIT) ]
723// CHECK: Predecessors (1): B1
724// CHECK: Successors (0):
725// CHECK: [ B12 (ENTRY) ]
726// CHECK: Predecessors (0):
727// CHECK: Successors (1): B11
728// CHECK: [ B1 ]
729// CHECK: 1: [B2.2].~A() (Implicit destructor)
730// CHECK: 2: [B11.4].~A() (Implicit destructor)
731// CHECK: 3:
732// CHECK: 4: A f;
733// CHECK: 5: [B1.4].~A() (Implicit destructor)
734// CHECK: 6: [B11.2].~A() (Implicit destructor)
735// CHECK: Predecessors (2): B9 B2
736// CHECK: Successors (1): B0
737// CHECK: [ B2 ]
738// CHECK: 1: b
739// CHECK: 2: for (A b; [B2.4];) {
740// CHECK:[B10.2] if ([B10.3])
741// CHECK: break;
742// CHECK: if ([B8.1])
743// CHECK: continue;
744// CHECK: if ([B6.1])
745// CHECK:[B5.1][B4.2]}
746// CHECK: 3: c.operator int()
747// CHECK: 4: [B2.3]
748// CHECK: T: for (...; [B2.4]; )
749// CHECK: Predecessors (2): B3 B11
750// CHECK: Successors (2): B10 B1
751// CHECK: [ B3 ]
752// CHECK: 1: [B2.2].~A() (Implicit destructor)
753// CHECK: Predecessors (2): B4 B7
754// CHECK: Successors (1): B2
755// CHECK: [ B4 ]
756// CHECK: 1:
757// CHECK: 2: A e;
758// CHECK: 3: [B4.2].~A() (Implicit destructor)
759// CHECK: 4: [B10.2].~A() (Implicit destructor)
760// CHECK: Predecessors (1): B6
761// CHECK: Successors (1): B3
762// CHECK: [ B5 ]
763// CHECK: 1: return;
764// CHECK: 2: [B10.2].~A() (Implicit destructor)
765// CHECK: 3: [B2.2].~A() (Implicit destructor)
766// CHECK: 4: [B11.4].~A() (Implicit destructor)
767// CHECK: 5: [B11.2].~A() (Implicit destructor)
768// CHECK: Predecessors (1): B6
769// CHECK: Successors (1): B0
770// CHECK: [ B6 ]
771// CHECK: 1: UV
772// CHECK: T: if [B6.1]
773// CHECK: Predecessors (1): B8
774// CHECK: Successors (2): B5 B4
775// CHECK: [ B7 ]
776// CHECK: 1: [B10.2].~A() (Implicit destructor)
777// CHECK: T: continue;
778// CHECK: Predecessors (1): B8
779// CHECK: Successors (1): B3
780// CHECK: [ B8 ]
781// CHECK: 1: UV
782// CHECK: T: if [B8.1]
783// CHECK: Predecessors (1): B10
784// CHECK: Successors (2): B7 B6
785// CHECK: [ B9 ]
786// CHECK: 1: [B10.2].~A() (Implicit destructor)
787// CHECK: T: break;
788// CHECK: Predecessors (1): B10
789// CHECK: Successors (1): B1
790// CHECK: [ B10 ]
791// CHECK: 1:
792// CHECK: 2: A d;
793// CHECK: 3: UV
794// CHECK: T: if [B10.3]
795// CHECK: Predecessors (1): B2
796// CHECK: Successors (2): B9 B8
797// CHECK: [ B11 ]
798// CHECK: 1:
799// CHECK: 2: A a;
800// CHECK: 3:
801// CHECK: 4: A b;
802// CHECK: Predecessors (1): B12
803// CHECK: Successors (1): B2
804// CHECK: [ B0 (EXIT) ]
805// CHECK: Predecessors (2): B1 B5
806// CHECK: Successors (0):
807// CHECK: [ B3 (ENTRY) ]
808// CHECK: Predecessors (0):
809// CHECK: Successors (1): B0
810// CHECK: [ B1 ]
811// CHECK: T: try ...
812// CHECK: Predecessors (0):
813// CHECK: Successors (2): B2 B0
814// CHECK: [ B2 ]
815// CHECK: catch (const A &e):
816// CHECK: Predecessors (1): B1
817// CHECK: Successors (1): B0
818// CHECK: [ B0 (EXIT) ]
819// CHECK: Predecessors (3): B2 B1 B3
820// CHECK: Successors (0):
821// CHECK: [ B3 (ENTRY) ]
822// CHECK: Predecessors (0):
823// CHECK: Successors (1): B0
824// CHECK: [ B1 ]
825// CHECK: T: try ...
826// CHECK: Predecessors (0):
827// CHECK: Successors (2): B2 B0
828// CHECK: [ B2 ]
829// CHECK: catch (A e):
830// CHECK: 1: .~A() (Implicit destructor)
831// CHECK: Predecessors (1): B1
832// CHECK: Successors (1): B0
833// CHECK: [ B0 (EXIT) ]
834// CHECK: Predecessors (3): B2 B1 B3
835// CHECK: Successors (0):