1 // RUN: rm -f %t
2 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG -analyzer-config cfg-temporary-dtors=true %s > %t 2>&1
3 // RUN: FileCheck --input-file=%t %s
4 
5 class A {
6 public:
A()7   A() {}
~A()8   ~A() {}
9 
make()10   static A make() { return A(); }
11 
operator bool()12   operator bool() { return false; }
operator int()13   operator int() { return 0; }
14 };
15 
16 class B {
17 public:
B()18   B() {}
~B()19   ~B() {}
20 
operator bool()21   operator bool() { return true; }
operator int()22   operator int() { return 1; }
operator A()23   operator A() { return A(); }
24 };
25 
26 void foo(int);
27 void foo(bool);
28 void foo(const A&);
29 
test_binary()30 void test_binary() {
31   int a = int(A()) + int(B());
32   foo(int(A()) + int(B()));
33   int b;
34 }
35 
test_and()36 void test_and() {
37   bool a = A() && B();
38   foo(A() && B());
39   int b;
40 }
41 
test_or()42 void test_or() {
43   bool a = A() || B();
44   foo(A() || B());
45   int b;
46 }
47 
test_cond()48 void test_cond() {
49   A a = B() ? A() : A(B());
50   if (B()) { foo(0); } else { foo(0); }
51   int b;
52 }
53 
54 struct C {
CC55   C():b_(true) {}
~CC56   ~C() {}
57 
operator boolC58   operator bool() { return b_; }
59   bool b_;
60 };
61 
62 struct D {
DD63   D():b_(true) {}
64 
operator boolD65   operator bool() { return b_; }
66   bool b_;
67 };
68 
test_cond_unnamed_custom_destructor()69 int test_cond_unnamed_custom_destructor() {
70   if (C()) { return 1; } else { return 0; }
71 }
72 
test_cond_named_custom_destructor()73 int test_cond_named_custom_destructor() {
74   if (C c = C()) { return 1; } else { return 0; }
75 }
76 
test_cond_unnamed_auto_destructor()77 int test_cond_unnamed_auto_destructor() {
78   if (D()) { return 1; } else { return 0; }
79 }
80 
test_cond_named_auto_destructor()81 int test_cond_named_auto_destructor() {
82   if (D d = D()) { return 1; } else { return 0; }
83 }
84 
test_cond_cref()85 void test_cond_cref() {
86   const A& a = B() ? A() : A(B());
87   foo(B() ? A() : A(B()));
88   int b;
89 }
90 
test_cond_implicit()91 void test_cond_implicit() {
92   A a = A() ?: A();
93   int b;
94 }
95 
test_cond_implicit_cref()96 void test_cond_implicit_cref() {
97   const A& a = A() ?: A();
98   foo(A() ?: A());
99   int b;
100 }
101 
test_copy_init()102 void test_copy_init() {
103   A a = A();
104   int b;
105 }
106 
test_cref_init()107 void test_cref_init() {
108   const A& a = A();
109   foo(A());
110   int b;
111 }
112 
test_call_copy_init()113 void test_call_copy_init() {
114   A a = A::make();
115   int b;
116 }
117 
test_call_cref_init()118 void test_call_cref_init() {
119   const A& a = A::make();
120   foo(A::make());
121   int b;
122 }
123 
test_assign()124 void test_assign() {
125   int a;
126   a = A();
127   int b;
128 }
129 
130 class TestCtorInits {
131   int a;
132   int b;
133 public:
134   TestCtorInits();
135 };
136 
TestCtorInits()137 TestCtorInits::TestCtorInits()
138   : a(int(A()) + int(B()))
139   , b() {}
140 
141 class NoReturn {
142 public:
143   ~NoReturn() __attribute__((noreturn));
144   void f();
145 };
146 
test_noreturn1()147 void test_noreturn1() {
148   int a;
149   NoReturn().f();
150   int b;
151 }
152 
test_noreturn2()153 void test_noreturn2() {
154   int a;
155   NoReturn(), 47;
156   int b;
157 }
158 
159 extern bool check(const NoReturn&);
160 
161 // PR16664 and PR18159
testConsistencyNestedSimple(bool value)162 int testConsistencyNestedSimple(bool value) {
163   if (value) {
164     if (!value || check(NoReturn())) {
165       return 1;
166     }
167   }
168   return 0;
169 }
170 
171 // PR16664 and PR18159
testConsistencyNestedComplex(bool value)172 int testConsistencyNestedComplex(bool value) {
173   if (value) {
174     if (!value || !value || check(NoReturn())) {
175       return 1;
176     }
177   }
178   return 0;
179 }
180 
181 // PR16664 and PR18159
testConsistencyNestedNormalReturn(bool value)182 int testConsistencyNestedNormalReturn(bool value) {
183   if (value) {
184     if (!value || value || check(NoReturn())) {
185       return 1;
186     }
187   }
188   return 0;
189 }
190 
191 // CHECK:   [B1 (ENTRY)]
192 // CHECK:     Succs (1): B0
193 // CHECK:   [B0 (EXIT)]
194 // CHECK:     Preds (1): B1
195 // CHECK:   [B1 (ENTRY)]
196 // CHECK:     Succs (1): B0
197 // CHECK:   [B0 (EXIT)]
198 // CHECK:     Preds (1): B1
199 // CHECK:   [B2 (ENTRY)]
200 // CHECK:     Succs (1): B1
201 // CHECK:   [B1]
202 // CHECK:     1: A() (CXXConstructExpr, class A)
203 // CHECK:     2: [B1.1] (BindTemporary)
204 // CHECK:     3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
205 // CHECK:     4: [B1.3]
206 // CHECK:     5: [B1.4] (CXXConstructExpr, class A)
207 // CHECK:     6: ~A() (Temporary object destructor)
208 // CHECK:     7: return [B1.5];
209 // CHECK:     Preds (1): B2
210 // CHECK:     Succs (1): B0
211 // CHECK:   [B0 (EXIT)]
212 // CHECK:     Preds (1): B1
213 // CHECK:   [B2 (ENTRY)]
214 // CHECK:     Succs (1): B1
215 // CHECK:   [B1]
216 // CHECK:     1: false
217 // CHECK:     2: return [B1.1];
218 // CHECK:     Preds (1): B2
219 // CHECK:     Succs (1): B0
220 // CHECK:   [B0 (EXIT)]
221 // CHECK:     Preds (1): B1
222 // CHECK:   [B2 (ENTRY)]
223 // CHECK:     Succs (1): B1
224 // CHECK:   [B1]
225 // CHECK:     1: 0
226 // CHECK:     2: return [B1.1];
227 // CHECK:     Preds (1): B2
228 // CHECK:     Succs (1): B0
229 // CHECK:   [B0 (EXIT)]
230 // CHECK:     Preds (1): B1
231 // CHECK:   [B1 (ENTRY)]
232 // CHECK:     Succs (1): B0
233 // CHECK:   [B0 (EXIT)]
234 // CHECK:     Preds (1): B1
235 // CHECK:   [B1 (ENTRY)]
236 // CHECK:     Succs (1): B0
237 // CHECK:   [B0 (EXIT)]
238 // CHECK:     Preds (1): B1
239 // CHECK:   [B2 (ENTRY)]
240 // CHECK:     Succs (1): B1
241 // CHECK:   [B1]
242 // CHECK:     1: true
243 // CHECK:     2: return [B1.1];
244 // CHECK:     Preds (1): B2
245 // CHECK:     Succs (1): B0
246 // CHECK:   [B0 (EXIT)]
247 // CHECK:     Preds (1): B1
248 // CHECK:   [B2 (ENTRY)]
249 // CHECK:     Succs (1): B1
250 // CHECK:   [B1]
251 // CHECK:     1: 1
252 // CHECK:     2: return [B1.1];
253 // CHECK:     Preds (1): B2
254 // CHECK:     Succs (1): B0
255 // CHECK:   [B0 (EXIT)]
256 // CHECK:     Preds (1): B1
257 // CHECK:   [B2 (ENTRY)]
258 // CHECK:     Succs (1): B1
259 // CHECK:   [B1]
260 // CHECK:     1: A() (CXXConstructExpr, class A)
261 // CHECK:     2: [B1.1] (BindTemporary)
262 // CHECK:     3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
263 // CHECK:     4: [B1.3]
264 // CHECK:     5: [B1.4] (CXXConstructExpr, class A)
265 // CHECK:     6: ~A() (Temporary object destructor)
266 // CHECK:     7: return [B1.5];
267 // CHECK:     Preds (1): B2
268 // CHECK:     Succs (1): B0
269 // CHECK:   [B0 (EXIT)]
270 // CHECK:     Preds (1): B1
271 // CHECK:   [B2 (ENTRY)]
272 // CHECK:     Succs (1): B1
273 // CHECK:   [B1]
274 // CHECK:     1: A() (CXXConstructExpr, class A)
275 // CHECK:     2: [B1.1] (BindTemporary)
276 // CHECK:     3: [B1.2].operator int
277 // CHECK:     4: [B1.2]
278 // CHECK:     5: [B1.4] (ImplicitCastExpr, UserDefinedConversion, int)
279 // CHECK:     6: int([B1.5]) (CXXFunctionalCastExpr, NoOp, int)
280 // CHECK:     7: B() (CXXConstructExpr, class B)
281 // CHECK:     8: [B1.7] (BindTemporary)
282 // CHECK:     9: [B1.8].operator int
283 // CHECK:    10: [B1.8]
284 // CHECK:    11: [B1.10] (ImplicitCastExpr, UserDefinedConversion, int)
285 // CHECK:    12: int([B1.11]) (CXXFunctionalCastExpr, NoOp, int)
286 // CHECK:    13: [B1.6] + [B1.12]
287 // CHECK:    14: int a = int(A()) + int(B());
288 // CHECK:    15: ~B() (Temporary object destructor)
289 // CHECK:    16: ~A() (Temporary object destructor)
290 // CHECK:    17: foo
291 // CHECK:    18: [B1.17] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(int))
292 // CHECK:    19: A() (CXXConstructExpr, class A)
293 // CHECK:    20: [B1.19] (BindTemporary)
294 // CHECK:    21: [B1.20].operator int
295 // CHECK:    22: [B1.20]
296 // CHECK:    23: [B1.22] (ImplicitCastExpr, UserDefinedConversion, int)
297 // CHECK:    24: int([B1.23]) (CXXFunctionalCastExpr, NoOp, int)
298 // CHECK:    25: B() (CXXConstructExpr, class B)
299 // CHECK:    26: [B1.25] (BindTemporary)
300 // CHECK:    27: [B1.26].operator int
301 // CHECK:    28: [B1.26]
302 // CHECK:    29: [B1.28] (ImplicitCastExpr, UserDefinedConversion, int)
303 // CHECK:    30: int([B1.29]) (CXXFunctionalCastExpr, NoOp, int)
304 // CHECK:    31: [B1.24] + [B1.30]
305 // CHECK:    32: [B1.18]([B1.31])
306 // CHECK:    33: ~B() (Temporary object destructor)
307 // CHECK:    34: ~A() (Temporary object destructor)
308 // CHECK:    35: int b;
309 // CHECK:     Preds (1): B2
310 // CHECK:     Succs (1): B0
311 // CHECK:   [B0 (EXIT)]
312 // CHECK:     Preds (1): B1
313 // CHECK:   [B10 (ENTRY)]
314 // CHECK:     Succs (1): B9
315 // CHECK:   [B1]
316 // CHECK:     1: ~A() (Temporary object destructor)
317 // CHECK:     2: int b;
318 // CHECK:     Preds (2): B2 B3
319 // CHECK:     Succs (1): B0
320 // CHECK:   [B2]
321 // CHECK:     1: ~B() (Temporary object destructor)
322 // CHECK:     Preds (1): B3
323 // CHECK:     Succs (1): B1
324 // CHECK:   [B3]
325 // CHECK:     1: [B5.8] && [B4.5]
326 // CHECK:     2: [B5.3]([B3.1])
327 // CHECK:     T: (Temp Dtor) [B4.2]
328 // CHECK:     Preds (2): B4 B5
329 // CHECK:     Succs (2): B2 B1
330 // CHECK:   [B4]
331 // CHECK:     1: B() (CXXConstructExpr, class B)
332 // CHECK:     2: [B4.1] (BindTemporary)
333 // CHECK:     3: [B4.2].operator bool
334 // CHECK:     4: [B4.2]
335 // CHECK:     5: [B4.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
336 // CHECK:     Preds (1): B5
337 // CHECK:     Succs (1): B3
338 // CHECK:   [B5]
339 // CHECK:     1: ~A() (Temporary object destructor)
340 // CHECK:     2: foo
341 // CHECK:     3: [B5.2] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(_Bool))
342 // CHECK:     4: A() (CXXConstructExpr, class A)
343 // CHECK:     5: [B5.4] (BindTemporary)
344 // CHECK:     6: [B5.5].operator bool
345 // CHECK:     7: [B5.5]
346 // CHECK:     8: [B5.7] (ImplicitCastExpr, UserDefinedConversion, _Bool)
347 // CHECK:     T: [B5.8] && ...
348 // CHECK:     Preds (2): B6 B7
349 // CHECK:     Succs (2): B4 B3
350 // CHECK:   [B6]
351 // CHECK:     1: ~B() (Temporary object destructor)
352 // CHECK:     Preds (1): B7
353 // CHECK:     Succs (1): B5
354 // CHECK:   [B7]
355 // CHECK:     1: [B9.5] && [B8.5]
356 // CHECK:     2: bool a = A() && B();
357 // CHECK:     T: (Temp Dtor) [B8.2]
358 // CHECK:     Preds (2): B8 B9
359 // CHECK:     Succs (2): B6 B5
360 // CHECK:   [B8]
361 // CHECK:     1: B() (CXXConstructExpr, class B)
362 // CHECK:     2: [B8.1] (BindTemporary)
363 // CHECK:     3: [B8.2].operator bool
364 // CHECK:     4: [B8.2]
365 // CHECK:     5: [B8.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
366 // CHECK:     Preds (1): B9
367 // CHECK:     Succs (1): B7
368 // CHECK:   [B9]
369 // CHECK:     1: A() (CXXConstructExpr, class A)
370 // CHECK:     2: [B9.1] (BindTemporary)
371 // CHECK:     3: [B9.2].operator bool
372 // CHECK:     4: [B9.2]
373 // CHECK:     5: [B9.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
374 // CHECK:     T: [B9.5] && ...
375 // CHECK:     Preds (1): B10
376 // CHECK:     Succs (2): B8 B7
377 // CHECK:   [B0 (EXIT)]
378 // CHECK:     Preds (1): B1
379 // CHECK:   [B10 (ENTRY)]
380 // CHECK:     Succs (1): B9
381 // CHECK:   [B1]
382 // CHECK:     1: ~A() (Temporary object destructor)
383 // CHECK:     2: int b;
384 // CHECK:     Preds (2): B2 B3
385 // CHECK:     Succs (1): B0
386 // CHECK:   [B2]
387 // CHECK:     1: ~B() (Temporary object destructor)
388 // CHECK:     Preds (1): B3
389 // CHECK:     Succs (1): B1
390 // CHECK:   [B3]
391 // CHECK:     1: [B5.8] || [B4.5]
392 // CHECK:     2: [B5.3]([B3.1])
393 // CHECK:     T: (Temp Dtor) [B4.2]
394 // CHECK:     Preds (2): B4 B5
395 // CHECK:     Succs (2): B2 B1
396 // CHECK:   [B4]
397 // CHECK:     1: B() (CXXConstructExpr, class B)
398 // CHECK:     2: [B4.1] (BindTemporary)
399 // CHECK:     3: [B4.2].operator bool
400 // CHECK:     4: [B4.2]
401 // CHECK:     5: [B4.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
402 // CHECK:     Preds (1): B5
403 // CHECK:     Succs (1): B3
404 // CHECK:   [B5]
405 // CHECK:     1: ~A() (Temporary object destructor)
406 // CHECK:     2: foo
407 // CHECK:     3: [B5.2] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(_Bool))
408 // CHECK:     4: A() (CXXConstructExpr, class A)
409 // CHECK:     5: [B5.4] (BindTemporary)
410 // CHECK:     6: [B5.5].operator bool
411 // CHECK:     7: [B5.5]
412 // CHECK:     8: [B5.7] (ImplicitCastExpr, UserDefinedConversion, _Bool)
413 // CHECK:     T: [B5.8] || ...
414 // CHECK:     Preds (2): B6 B7
415 // CHECK:     Succs (2): B3 B4
416 // CHECK:   [B6]
417 // CHECK:     1: ~B() (Temporary object destructor)
418 // CHECK:     Preds (1): B7
419 // CHECK:     Succs (1): B5
420 // CHECK:   [B7]
421 // CHECK:     1: [B9.5] || [B8.5]
422 // CHECK:     2: bool a = A() || B();
423 // CHECK:     T: (Temp Dtor) [B8.2]
424 // CHECK:     Preds (2): B8 B9
425 // CHECK:     Succs (2): B6 B5
426 // CHECK:   [B8]
427 // CHECK:     1: B() (CXXConstructExpr, class B)
428 // CHECK:     2: [B8.1] (BindTemporary)
429 // CHECK:     3: [B8.2].operator bool
430 // CHECK:     4: [B8.2]
431 // CHECK:     5: [B8.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
432 // CHECK:     Preds (1): B9
433 // CHECK:     Succs (1): B7
434 // CHECK:   [B9]
435 // CHECK:     1: A() (CXXConstructExpr, class A)
436 // CHECK:     2: [B9.1] (BindTemporary)
437 // CHECK:     3: [B9.2].operator bool
438 // CHECK:     4: [B9.2]
439 // CHECK:     5: [B9.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
440 // CHECK:     T: [B9.5] || ...
441 // CHECK:     Preds (1): B10
442 // CHECK:     Succs (2): B7 B8
443 // CHECK:   [B0 (EXIT)]
444 // CHECK:     Preds (1): B1
445 // CHECK:   [B11 (ENTRY)]
446 // CHECK:     Succs (1): B10
447 // CHECK:   [B1]
448 // CHECK:     1: int b;
449 // CHECK:     2: [B7.5].~A() (Implicit destructor)
450 // CHECK:     Preds (2): B2 B3
451 // CHECK:     Succs (1): B0
452 // CHECK:   [B2]
453 // CHECK:     1: foo
454 // CHECK:     2: [B2.1] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(int))
455 // CHECK:     3: 0
456 // CHECK:     4: [B2.2]([B2.3])
457 // CHECK:     Preds (1): B4
458 // CHECK:     Succs (1): B1
459 // CHECK:   [B3]
460 // CHECK:     1: foo
461 // CHECK:     2: [B3.1] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(int))
462 // CHECK:     3: 0
463 // CHECK:     4: [B3.2]([B3.3])
464 // CHECK:     Preds (1): B4
465 // CHECK:     Succs (1): B1
466 // CHECK:   [B4]
467 // CHECK:     1: ~B() (Temporary object destructor)
468 // CHECK:     2: B() (CXXConstructExpr, class B)
469 // CHECK:     3: [B4.2] (BindTemporary)
470 // CHECK:     4: [B4.3].operator bool
471 // CHECK:     5: [B4.3]
472 // CHECK:     6: [B4.5] (ImplicitCastExpr, UserDefinedConversion, _Bool)
473 // CHECK:     7: ~B() (Temporary object destructor)
474 // CHECK:     T: if [B4.6]
475 // CHECK:     Preds (2): B5 B6
476 // CHECK:     Succs (2): B3 B2
477 // CHECK:   [B5]
478 // CHECK:     1: ~A() (Temporary object destructor)
479 // CHECK:     2: ~A() (Temporary object destructor)
480 // CHECK:     Preds (1): B7
481 // CHECK:     Succs (1): B4
482 // CHECK:   [B6]
483 // CHECK:     1: ~A() (Temporary object destructor)
484 // CHECK:     2: ~A() (Temporary object destructor)
485 // CHECK:     3: ~A() (Temporary object destructor)
486 // CHECK:     4: ~B() (Temporary object destructor)
487 // CHECK:     Preds (1): B7
488 // CHECK:     Succs (1): B4
489 // CHECK:   [B7]
490 // CHECK:     1: [B10.5] ? [B8.6] : [B9.15]
491 // CHECK:     2: [B7.1] (ImplicitCastExpr, NoOp, const class A)
492 // CHECK:     3: [B7.2]
493 // CHECK:     4: [B7.3] (CXXConstructExpr, class A)
494 // CHECK:     5: A a = B() ? A() : A(B());
495 // CHECK:     T: (Temp Dtor) [B9.2]
496 // CHECK:     Preds (2): B8 B9
497 // CHECK:     Succs (2): B6 B5
498 // CHECK:   [B8]
499 // CHECK:     1: A() (CXXConstructExpr, class A)
500 // CHECK:     2: [B8.1] (BindTemporary)
501 // CHECK:     3: [B8.2] (ImplicitCastExpr, NoOp, const class A)
502 // CHECK:     4: [B8.3]
503 // CHECK:     5: [B8.4] (CXXConstructExpr, class A)
504 // CHECK:     6: [B8.5] (BindTemporary)
505 // CHECK:     Preds (1): B10
506 // CHECK:     Succs (1): B7
507 // CHECK:   [B9]
508 // CHECK:     1: B() (CXXConstructExpr, class B)
509 // CHECK:     2: [B9.1] (BindTemporary)
510 // CHECK:     3: [B9.2].operator A
511 // CHECK:     4: [B9.2]
512 // CHECK:     5: [B9.4] (ImplicitCastExpr, UserDefinedConversion, class A)
513 // CHECK:     6: [B9.5] (BindTemporary)
514 // CHECK:     7: [B9.6] (ImplicitCastExpr, NoOp, const class A)
515 // CHECK:     8: [B9.7]
516 // CHECK:     9: [B9.8] (CXXConstructExpr, class A)
517 // CHECK:    10: [B9.9] (BindTemporary)
518 // CHECK:    11: A([B9.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A)
519 // CHECK:    12: [B9.11] (ImplicitCastExpr, NoOp, const class A)
520 // CHECK:    13: [B9.12]
521 // CHECK:    14: [B9.13] (CXXConstructExpr, class A)
522 // CHECK:    15: [B9.14] (BindTemporary)
523 // CHECK:     Preds (1): B10
524 // CHECK:     Succs (1): B7
525 // CHECK:   [B10]
526 // CHECK:     1: B() (CXXConstructExpr, class B)
527 // CHECK:     2: [B10.1] (BindTemporary)
528 // CHECK:     3: [B10.2].operator bool
529 // CHECK:     4: [B10.2]
530 // CHECK:     5: [B10.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
531 // CHECK:     T: [B10.5] ? ... : ...
532 // CHECK:     Preds (1): B11
533 // CHECK:     Succs (2): B8 B9
534 // CHECK:   [B0 (EXIT)]
535 // CHECK:     Preds (1): B1
536 // CHECK:   [B2 (ENTRY)]
537 // CHECK:     Succs (1): B1
538 // CHECK:   [B1]
539 // CHECK:     1: true
540 // CHECK:     2: b_([B1.1]) (Member initializer)
541 // CHECK:     Preds (1): B2
542 // CHECK:     Succs (1): B0
543 // CHECK:   [B0 (EXIT)]
544 // CHECK:     Preds (1): B1
545 // CHECK:   [B1 (ENTRY)]
546 // CHECK:     Succs (1): B0
547 // CHECK:   [B0 (EXIT)]
548 // CHECK:     Preds (1): B1
549 // CHECK:   [B2 (ENTRY)]
550 // CHECK:     Succs (1): B1
551 // CHECK:   [B1]
552 // CHECK:     1: this
553 // CHECK:     2: [B1.1]->b_
554 // CHECK:     3: [B1.2] (ImplicitCastExpr, LValueToRValue, _Bool)
555 // CHECK:     4: return [B1.3];
556 // CHECK:     Preds (1): B2
557 // CHECK:     Succs (1): B0
558 // CHECK:   [B0 (EXIT)]
559 // CHECK:     Preds (1): B1
560 // CHECK:   [B2 (ENTRY)]
561 // CHECK:     Succs (1): B1
562 // CHECK:   [B1]
563 // CHECK:     1: true
564 // CHECK:     2: b_([B1.1]) (Member initializer)
565 // CHECK:     Preds (1): B2
566 // CHECK:     Succs (1): B0
567 // CHECK:   [B0 (EXIT)]
568 // CHECK:     Preds (1): B1
569 // CHECK:   [B2 (ENTRY)]
570 // CHECK:     Succs (1): B1
571 // CHECK:   [B1]
572 // CHECK:     1: this
573 // CHECK:     2: [B1.1]->b_
574 // CHECK:     3: [B1.2] (ImplicitCastExpr, LValueToRValue, _Bool)
575 // CHECK:     4: return [B1.3];
576 // CHECK:     Preds (1): B2
577 // CHECK:     Succs (1): B0
578 // CHECK:   [B0 (EXIT)]
579 // CHECK:     Preds (1): B1
580 // CHECK:   [B4 (ENTRY)]
581 // CHECK:     Succs (1): B3
582 // CHECK:   [B1]
583 // CHECK:     1: 0
584 // CHECK:     2: return [B1.1];
585 // CHECK:     Preds (1): B3
586 // CHECK:     Succs (1): B0
587 // CHECK:   [B2]
588 // CHECK:     1: 1
589 // CHECK:     2: return [B2.1];
590 // CHECK:     Preds (1): B3
591 // CHECK:     Succs (1): B0
592 // CHECK:   [B3]
593 // CHECK:     1: C() (CXXConstructExpr, struct C)
594 // CHECK:     2: [B3.1] (BindTemporary)
595 // CHECK:     3: [B3.2].operator bool
596 // CHECK:     4: [B3.2]
597 // CHECK:     5: [B3.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
598 // CHECK:     6: ~C() (Temporary object destructor)
599 // CHECK:     T: if [B3.5]
600 // CHECK:     Preds (1): B4
601 // CHECK:     Succs (2): B2 B1
602 // CHECK:   [B0 (EXIT)]
603 // CHECK:     Preds (2): B1 B2
604 // CHECK:   [B5 (ENTRY)]
605 // CHECK:     Succs (1): B4
606 // CHECK:   [B1]
607 // CHECK:     1: [B4.6].~C() (Implicit destructor)
608 // CHECK:     Succs (1): B0
609 // CHECK:   [B2]
610 // CHECK:     1: 0
611 // CHECK:     2: return [B2.1];
612 // CHECK:     3: [B4.6].~C() (Implicit destructor)
613 // CHECK:     Preds (1): B4
614 // CHECK:     Succs (1): B0
615 // CHECK:   [B3]
616 // CHECK:     1: 1
617 // CHECK:     2: return [B3.1];
618 // CHECK:     3: [B4.6].~C() (Implicit destructor)
619 // CHECK:     Preds (1): B4
620 // CHECK:     Succs (1): B0
621 // CHECK:   [B4]
622 // CHECK:     1: C() (CXXConstructExpr, struct C)
623 // CHECK:     2: [B4.1] (BindTemporary)
624 // CHECK:     3: [B4.2] (ImplicitCastExpr, NoOp, const struct C)
625 // CHECK:     4: [B4.3]
626 // CHECK:     5: [B4.4] (CXXConstructExpr, struct C)
627 // CHECK:     6: C c = C();
628 // CHECK:     7: ~C() (Temporary object destructor)
629 // CHECK:     8: c
630 // CHECK:     9: [B4.8].operator bool
631 // CHECK:    10: [B4.8]
632 // CHECK:    11: [B4.10] (ImplicitCastExpr, UserDefinedConversion, _Bool)
633 // CHECK:     T: if [B4.11]
634 // CHECK:     Preds (1): B5
635 // CHECK:     Succs (2): B3 B2
636 // CHECK:   [B0 (EXIT)]
637 // CHECK:     Preds (3): B1 B2 B3
638 // CHECK:   [B4 (ENTRY)]
639 // CHECK:     Succs (1): B3
640 // CHECK:   [B1]
641 // CHECK:     1: 0
642 // CHECK:     2: return [B1.1];
643 // CHECK:     Preds (1): B3
644 // CHECK:     Succs (1): B0
645 // CHECK:   [B2]
646 // CHECK:     1: 1
647 // CHECK:     2: return [B2.1];
648 // CHECK:     Preds (1): B3
649 // CHECK:     Succs (1): B0
650 // CHECK:   [B3]
651 // CHECK:     1: D() (CXXConstructExpr, struct D)
652 // CHECK:     2: [B3.1].operator bool
653 // CHECK:     3: [B3.1]
654 // CHECK:     4: [B3.3] (ImplicitCastExpr, UserDefinedConversion, _Bool)
655 // CHECK:     T: if [B3.4]
656 // CHECK:     Preds (1): B4
657 // CHECK:     Succs (2): B2 B1
658 // CHECK:   [B0 (EXIT)]
659 // CHECK:     Preds (2): B1 B2
660 // CHECK:   [B4 (ENTRY)]
661 // CHECK:     Succs (1): B3
662 // CHECK:   [B1]
663 // CHECK:     1: 0
664 // CHECK:     2: return [B1.1];
665 // CHECK:     Preds (1): B3
666 // CHECK:     Succs (1): B0
667 // CHECK:   [B2]
668 // CHECK:     1: 1
669 // CHECK:     2: return [B2.1];
670 // CHECK:     Preds (1): B3
671 // CHECK:     Succs (1): B0
672 // CHECK:   [B3]
673 // CHECK:     1: D() (CXXConstructExpr, struct D)
674 // CHECK:     2: [B3.1] (ImplicitCastExpr, NoOp, const struct D)
675 // CHECK:     3: [B3.2]
676 // CHECK:     4: [B3.3] (CXXConstructExpr, struct D)
677 // CHECK:     5: D d = D();
678 // CHECK:     6: d
679 // CHECK:     7: [B3.6].operator bool
680 // CHECK:     8: [B3.6]
681 // CHECK:     9: [B3.8] (ImplicitCastExpr, UserDefinedConversion, _Bool)
682 // CHECK:     T: if [B3.9]
683 // CHECK:     Preds (1): B4
684 // CHECK:     Succs (2): B2 B1
685 // CHECK:   [B0 (EXIT)]
686 // CHECK:     Preds (2): B1 B2
687 // CHECK:   [B14 (ENTRY)]
688 // CHECK:     Succs (1): B13
689 // CHECK:   [B1]
690 // CHECK:     1: ~B() (Temporary object destructor)
691 // CHECK:     2: int b;
692 // CHECK:     3: [B10.4].~A() (Implicit destructor)
693 // CHECK:     Preds (2): B2 B3
694 // CHECK:     Succs (1): B0
695 // CHECK:   [B2]
696 // CHECK:     1: ~A() (Temporary object destructor)
697 // CHECK:     2: ~A() (Temporary object destructor)
698 // CHECK:     Preds (1): B4
699 // CHECK:     Succs (1): B1
700 // CHECK:   [B3]
701 // CHECK:     1: ~A() (Temporary object destructor)
702 // CHECK:     2: ~A() (Temporary object destructor)
703 // CHECK:     3: ~A() (Temporary object destructor)
704 // CHECK:     4: ~B() (Temporary object destructor)
705 // CHECK:     Preds (1): B4
706 // CHECK:     Succs (1): B1
707 // CHECK:   [B4]
708 // CHECK:     1: [B7.8] ? [B5.6] : [B6.15]
709 // CHECK:     2: [B4.1] (ImplicitCastExpr, NoOp, const class A)
710 // CHECK:     3: [B4.2]
711 // CHECK:     4: [B7.3]([B4.3])
712 // CHECK:     T: (Temp Dtor) [B6.2]
713 // CHECK:     Preds (2): B5 B6
714 // CHECK:     Succs (2): B3 B2
715 // CHECK:   [B5]
716 // CHECK:     1: A() (CXXConstructExpr, class A)
717 // CHECK:     2: [B5.1] (BindTemporary)
718 // CHECK:     3: [B5.2] (ImplicitCastExpr, NoOp, const class A)
719 // CHECK:     4: [B5.3]
720 // CHECK:     5: [B5.4] (CXXConstructExpr, class A)
721 // CHECK:     6: [B5.5] (BindTemporary)
722 // CHECK:     Preds (1): B7
723 // CHECK:     Succs (1): B4
724 // CHECK:   [B6]
725 // CHECK:     1: B() (CXXConstructExpr, class B)
726 // CHECK:     2: [B6.1] (BindTemporary)
727 // CHECK:     3: [B6.2].operator A
728 // CHECK:     4: [B6.2]
729 // CHECK:     5: [B6.4] (ImplicitCastExpr, UserDefinedConversion, class A)
730 // CHECK:     6: [B6.5] (BindTemporary)
731 // CHECK:     7: [B6.6] (ImplicitCastExpr, NoOp, const class A)
732 // CHECK:     8: [B6.7]
733 // CHECK:     9: [B6.8] (CXXConstructExpr, class A)
734 // CHECK:    10: [B6.9] (BindTemporary)
735 // CHECK:    11: A([B6.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A)
736 // CHECK:    12: [B6.11] (ImplicitCastExpr, NoOp, const class A)
737 // CHECK:    13: [B6.12]
738 // CHECK:    14: [B6.13] (CXXConstructExpr, class A)
739 // CHECK:    15: [B6.14] (BindTemporary)
740 // CHECK:     Preds (1): B7
741 // CHECK:     Succs (1): B4
742 // CHECK:   [B7]
743 // CHECK:     1: ~B() (Temporary object destructor)
744 // CHECK:     2: foo
745 // CHECK:     3: [B7.2] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(const class A &))
746 // CHECK:     4: B() (CXXConstructExpr, class B)
747 // CHECK:     5: [B7.4] (BindTemporary)
748 // CHECK:     6: [B7.5].operator bool
749 // CHECK:     7: [B7.5]
750 // CHECK:     8: [B7.7] (ImplicitCastExpr, UserDefinedConversion, _Bool)
751 // CHECK:     T: [B7.8] ? ... : ...
752 // CHECK:     Preds (2): B8 B9
753 // CHECK:     Succs (2): B5 B6
754 // CHECK:   [B8]
755 // CHECK:     1: ~A() (Temporary object destructor)
756 // CHECK:     Preds (1): B10
757 // CHECK:     Succs (1): B7
758 // CHECK:   [B9]
759 // CHECK:     1: ~A() (Temporary object destructor)
760 // CHECK:     2: ~A() (Temporary object destructor)
761 // CHECK:     3: ~B() (Temporary object destructor)
762 // CHECK:     Preds (1): B10
763 // CHECK:     Succs (1): B7
764 // CHECK:   [B10]
765 // CHECK:     1: [B13.5] ? [B11.6] : [B12.15]
766 // CHECK:     2: [B10.1] (ImplicitCastExpr, NoOp, const class A)
767 // CHECK:     3: [B10.2]
768 // CHECK:     4: const A &a = B() ? A() : A(B());
769 // CHECK:     T: (Temp Dtor) [B12.2]
770 // CHECK:     Preds (2): B11 B12
771 // CHECK:     Succs (2): B9 B8
772 // CHECK:   [B11]
773 // CHECK:     1: A() (CXXConstructExpr, class A)
774 // CHECK:     2: [B11.1] (BindTemporary)
775 // CHECK:     3: [B11.2] (ImplicitCastExpr, NoOp, const class A)
776 // CHECK:     4: [B11.3]
777 // CHECK:     5: [B11.4] (CXXConstructExpr, class A)
778 // CHECK:     6: [B11.5] (BindTemporary)
779 // CHECK:     Preds (1): B13
780 // CHECK:     Succs (1): B10
781 // CHECK:   [B12]
782 // CHECK:     1: B() (CXXConstructExpr, class B)
783 // CHECK:     2: [B12.1] (BindTemporary)
784 // CHECK:     3: [B12.2].operator A
785 // CHECK:     4: [B12.2]
786 // CHECK:     5: [B12.4] (ImplicitCastExpr, UserDefinedConversion, class A)
787 // CHECK:     6: [B12.5] (BindTemporary)
788 // CHECK:     7: [B12.6] (ImplicitCastExpr, NoOp, const class A)
789 // CHECK:     8: [B12.7]
790 // CHECK:     9: [B12.8] (CXXConstructExpr, class A)
791 // CHECK:    10: [B12.9] (BindTemporary)
792 // CHECK:    11: A([B12.10]) (CXXFunctionalCastExpr, ConstructorConversion, class A)
793 // CHECK:    12: [B12.11] (ImplicitCastExpr, NoOp, const class A)
794 // CHECK:    13: [B12.12]
795 // CHECK:    14: [B12.13] (CXXConstructExpr, class A)
796 // CHECK:    15: [B12.14] (BindTemporary)
797 // CHECK:     Preds (1): B13
798 // CHECK:     Succs (1): B10
799 // CHECK:   [B13]
800 // CHECK:     1: B() (CXXConstructExpr, class B)
801 // CHECK:     2: [B13.1] (BindTemporary)
802 // CHECK:     3: [B13.2].operator bool
803 // CHECK:     4: [B13.2]
804 // CHECK:     5: [B13.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
805 // CHECK:     T: [B13.5] ? ... : ...
806 // CHECK:     Preds (1): B14
807 // CHECK:     Succs (2): B11 B12
808 // CHECK:   [B0 (EXIT)]
809 // CHECK:     Preds (1): B1
810 // CHECK:   [B8 (ENTRY)]
811 // CHECK:     Succs (1): B7
812 // CHECK:   [B1]
813 // CHECK:     1: int b;
814 // CHECK:     2: [B4.5].~A() (Implicit destructor)
815 // CHECK:     Preds (2): B2 B3
816 // CHECK:     Succs (1): B0
817 // CHECK:   [B2]
818 // CHECK:     1: ~A() (Temporary object destructor)
819 // CHECK:     Preds (1): B4
820 // CHECK:     Succs (1): B1
821 // CHECK:   [B3]
822 // CHECK:     1: ~A() (Temporary object destructor)
823 // CHECK:     2: ~A() (Temporary object destructor)
824 // CHECK:     Preds (1): B4
825 // CHECK:     Succs (1): B1
826 // CHECK:   [B4]
827 // CHECK:     1: [B7.2] ?: [B6.6]
828 // CHECK:     2: [B4.1] (ImplicitCastExpr, NoOp, const class A)
829 // CHECK:     3: [B4.2]
830 // CHECK:     4: [B4.3] (CXXConstructExpr, class A)
831 // CHECK:     5: A a = A() ?: A();
832 // CHECK:     T: (Temp Dtor) [B6.2]
833 // CHECK:     Preds (2): B5 B6
834 // CHECK:     Succs (2): B3 B2
835 // CHECK:   [B5]
836 // CHECK:     1: [B7.2] (ImplicitCastExpr, NoOp, const class A)
837 // CHECK:     2: [B5.1]
838 // CHECK:     3: [B5.2] (CXXConstructExpr, class A)
839 // CHECK:     4: [B5.3] (BindTemporary)
840 // CHECK:     Preds (1): B7
841 // CHECK:     Succs (1): B4
842 // CHECK:   [B6]
843 // CHECK:     1: A() (CXXConstructExpr, class A)
844 // CHECK:     2: [B6.1] (BindTemporary)
845 // CHECK:     3: [B6.2] (ImplicitCastExpr, NoOp, const class A)
846 // CHECK:     4: [B6.3]
847 // CHECK:     5: [B6.4] (CXXConstructExpr, class A)
848 // CHECK:     6: [B6.5] (BindTemporary)
849 // CHECK:     Preds (1): B7
850 // CHECK:     Succs (1): B4
851 // CHECK:   [B7]
852 // CHECK:     1: A() (CXXConstructExpr, class A)
853 // CHECK:     2: [B7.1] (BindTemporary)
854 // CHECK:     3: [B7.2].operator bool
855 // CHECK:     4: [B7.2]
856 // CHECK:     5: [B7.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
857 // CHECK:     T: [B7.5] ? ... : ...
858 // CHECK:     Preds (1): B8
859 // CHECK:     Succs (2): B5 B6
860 // CHECK:   [B0 (EXIT)]
861 // CHECK:     Preds (1): B1
862 // CHECK:   [B13 (ENTRY)]
863 // CHECK:     Succs (1): B12
864 // CHECK:   [B1]
865 // CHECK:     1: int b;
866 // CHECK:     2: [B9.4].~A() (Implicit destructor)
867 // CHECK:     Preds (2): B2 B3
868 // CHECK:     Succs (1): B0
869 // CHECK:   [B2]
870 // CHECK:     1: ~A() (Temporary object destructor)
871 // CHECK:     Preds (1): B4
872 // CHECK:     Succs (1): B1
873 // CHECK:   [B3]
874 // CHECK:     1: ~A() (Temporary object destructor)
875 // CHECK:     2: ~A() (Temporary object destructor)
876 // CHECK:     Preds (1): B4
877 // CHECK:     Succs (1): B1
878 // CHECK:   [B4]
879 // CHECK:     1: [B7.4] ?: [B6.6]
880 // CHECK:     2: [B4.1] (ImplicitCastExpr, NoOp, const class A)
881 // CHECK:     3: [B4.2]
882 // CHECK:     4: [B7.2]([B4.3])
883 // CHECK:     T: (Temp Dtor) [B6.2]
884 // CHECK:     Preds (2): B5 B6
885 // CHECK:     Succs (2): B3 B2
886 // CHECK:   [B5]
887 // CHECK:     1: [B7.4] (ImplicitCastExpr, NoOp, const class A)
888 // CHECK:     2: [B5.1]
889 // CHECK:     3: [B5.2] (CXXConstructExpr, class A)
890 // CHECK:     4: [B5.3] (BindTemporary)
891 // CHECK:     Preds (1): B7
892 // CHECK:     Succs (1): B4
893 // CHECK:   [B6]
894 // CHECK:     1: A() (CXXConstructExpr, class A)
895 // CHECK:     2: [B6.1] (BindTemporary)
896 // CHECK:     3: [B6.2] (ImplicitCastExpr, NoOp, const class A)
897 // CHECK:     4: [B6.3]
898 // CHECK:     5: [B6.4] (CXXConstructExpr, class A)
899 // CHECK:     6: [B6.5] (BindTemporary)
900 // CHECK:     Preds (1): B7
901 // CHECK:     Succs (1): B4
902 // CHECK:   [B7]
903 // CHECK:     1: foo
904 // CHECK:     2: [B7.1] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(const class A &))
905 // CHECK:     3: A() (CXXConstructExpr, class A)
906 // CHECK:     4: [B7.3] (BindTemporary)
907 // CHECK:     5: [B7.4].operator bool
908 // CHECK:     6: [B7.4]
909 // CHECK:     7: [B7.6] (ImplicitCastExpr, UserDefinedConversion, _Bool)
910 // CHECK:     T: [B7.7] ? ... : ...
911 // CHECK:     Preds (2): B8 B9
912 // CHECK:     Succs (2): B5 B6
913 // CHECK:   [B8]
914 // CHECK:     1: ~A() (Temporary object destructor)
915 // CHECK:     Preds (1): B9
916 // CHECK:     Succs (1): B7
917 // CHECK:   [B9]
918 // CHECK:     1: [B12.2] ?: [B11.6]
919 // CHECK:     2: [B9.1] (ImplicitCastExpr, NoOp, const class A)
920 // CHECK:     3: [B9.2]
921 // CHECK:     4: const A &a = A() ?: A();
922 // CHECK:     T: (Temp Dtor) [B11.2]
923 // CHECK:     Preds (2): B10 B11
924 // CHECK:     Succs (2): B8 B7
925 // CHECK:   [B10]
926 // CHECK:     1: [B12.2] (ImplicitCastExpr, NoOp, const class A)
927 // CHECK:     2: [B10.1]
928 // CHECK:     3: [B10.2] (CXXConstructExpr, class A)
929 // CHECK:     4: [B10.3] (BindTemporary)
930 // CHECK:     Preds (1): B12
931 // CHECK:     Succs (1): B9
932 // CHECK:   [B11]
933 // CHECK:     1: A() (CXXConstructExpr, class A)
934 // CHECK:     2: [B11.1] (BindTemporary)
935 // CHECK:     3: [B11.2] (ImplicitCastExpr, NoOp, const class A)
936 // CHECK:     4: [B11.3]
937 // CHECK:     5: [B11.4] (CXXConstructExpr, class A)
938 // CHECK:     6: [B11.5] (BindTemporary)
939 // CHECK:     Preds (1): B12
940 // CHECK:     Succs (1): B9
941 // CHECK:   [B12]
942 // CHECK:     1: A() (CXXConstructExpr, class A)
943 // CHECK:     2: [B12.1] (BindTemporary)
944 // CHECK:     3: [B12.2].operator bool
945 // CHECK:     4: [B12.2]
946 // CHECK:     5: [B12.4] (ImplicitCastExpr, UserDefinedConversion, _Bool)
947 // CHECK:     T: [B12.5] ? ... : ...
948 // CHECK:     Preds (1): B13
949 // CHECK:     Succs (2): B10 B11
950 // CHECK:   [B0 (EXIT)]
951 // CHECK:     Preds (1): B1
952 // CHECK:   [B2 (ENTRY)]
953 // CHECK:     Succs (1): B1
954 // CHECK:   [B1]
955 // CHECK:     1: A() (CXXConstructExpr, class A)
956 // CHECK:     2: [B1.1] (BindTemporary)
957 // CHECK:     3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
958 // CHECK:     4: [B1.3]
959 // CHECK:     5: [B1.4] (CXXConstructExpr, class A)
960 // CHECK:     6: A a = A();
961 // CHECK:     7: ~A() (Temporary object destructor)
962 // CHECK:     8: int b;
963 // CHECK:     9: [B1.6].~A() (Implicit destructor)
964 // CHECK:     Preds (1): B2
965 // CHECK:     Succs (1): B0
966 // CHECK:   [B0 (EXIT)]
967 // CHECK:     Preds (1): B1
968 // CHECK:   [B2 (ENTRY)]
969 // CHECK:     Succs (1): B1
970 // CHECK:   [B1]
971 // CHECK:     1: A() (CXXConstructExpr, class A)
972 // CHECK:     2: [B1.1] (BindTemporary)
973 // CHECK:     3: [B1.2] (ImplicitCastExpr, NoOp, const class A)
974 // CHECK:     4: [B1.3]
975 // CHECK:     5: const A &a = A();
976 // CHECK:     6: foo
977 // CHECK:     7: [B1.6] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(const class A &))
978 // CHECK:     8: A() (CXXConstructExpr, class A)
979 // CHECK:     9: [B1.8] (BindTemporary)
980 // CHECK:    10: [B1.9] (ImplicitCastExpr, NoOp, const class A)
981 // CHECK:    11: [B1.10]
982 // CHECK:    12: [B1.7]([B1.11])
983 // CHECK:    13: ~A() (Temporary object destructor)
984 // CHECK:    14: int b;
985 // CHECK:    15: [B1.5].~A() (Implicit destructor)
986 // CHECK:     Preds (1): B2
987 // CHECK:     Succs (1): B0
988 // CHECK:   [B0 (EXIT)]
989 // CHECK:     Preds (1): B1
990 // CHECK:   [B2 (ENTRY)]
991 // CHECK:     Succs (1): B1
992 // CHECK:   [B1]
993 // CHECK:     1: A::make
994 // CHECK:     2: [B1.1] (ImplicitCastExpr, FunctionToPointerDecay, class A (*)(void))
995 // CHECK:     3: [B1.2]()
996 // CHECK:     4: [B1.3] (BindTemporary)
997 // CHECK:     5: [B1.4] (ImplicitCastExpr, NoOp, const class A)
998 // CHECK:     6: [B1.5]
999 // CHECK:     7: [B1.6] (CXXConstructExpr, class A)
1000 // CHECK:     8: A a = A::make();
1001 // CHECK:     9: ~A() (Temporary object destructor)
1002 // CHECK:    10: int b;
1003 // CHECK:    11: [B1.8].~A() (Implicit destructor)
1004 // CHECK:     Preds (1): B2
1005 // CHECK:     Succs (1): B0
1006 // CHECK:   [B0 (EXIT)]
1007 // CHECK:     Preds (1): B1
1008 // CHECK:   [B2 (ENTRY)]
1009 // CHECK:     Succs (1): B1
1010 // CHECK:   [B1]
1011 // CHECK:     1: A::make
1012 // CHECK:     2: [B1.1] (ImplicitCastExpr, FunctionToPointerDecay, class A (*)(void))
1013 // CHECK:     3: [B1.2]()
1014 // CHECK:     4: [B1.3] (BindTemporary)
1015 // CHECK:     5: [B1.4] (ImplicitCastExpr, NoOp, const class A)
1016 // CHECK:     6: [B1.5]
1017 // CHECK:     7: const A &a = A::make();
1018 // CHECK:     8: foo
1019 // CHECK:     9: [B1.8] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(const class A &))
1020 // CHECK:    10: A::make
1021 // CHECK:    11: [B1.10] (ImplicitCastExpr, FunctionToPointerDecay, class A (*)(void))
1022 // CHECK:    12: [B1.11]()
1023 // CHECK:    13: [B1.12] (BindTemporary)
1024 // CHECK:    14: [B1.13] (ImplicitCastExpr, NoOp, const class A)
1025 // CHECK:    15: [B1.14]
1026 // CHECK:    16: [B1.9]([B1.15])
1027 // CHECK:    17: ~A() (Temporary object destructor)
1028 // CHECK:    18: int b;
1029 // CHECK:    19: [B1.7].~A() (Implicit destructor)
1030 // CHECK:     Preds (1): B2
1031 // CHECK:     Succs (1): B0
1032 // CHECK:   [B0 (EXIT)]
1033 // CHECK:     Preds (1): B1
1034 // CHECK:   [B2 (ENTRY)]
1035 // CHECK:     Succs (1): B1
1036 // CHECK:   [B1]
1037 // CHECK:     1: int a;
1038 // CHECK:     2: A() (CXXConstructExpr, class A)
1039 // CHECK:     3: [B1.2] (BindTemporary)
1040 // CHECK:     4: [B1.3].operator int
1041 // CHECK:     5: [B1.3]
1042 // CHECK:     6: [B1.5] (ImplicitCastExpr, UserDefinedConversion, int)
1043 // CHECK:     7: a
1044 // CHECK:     8: [B1.7] = [B1.6]
1045 // CHECK:     9: ~A() (Temporary object destructor)
1046 // CHECK:    10: int b;
1047 // CHECK:     Preds (1): B2
1048 // CHECK:     Succs (1): B0
1049 // CHECK:   [B0 (EXIT)]
1050 // CHECK:     Preds (1): B1
1051 // CHECK:   [B2 (ENTRY)]
1052 // CHECK:     Succs (1): B1
1053 // CHECK:   [B1]
1054 // CHECK:     1: A() (CXXConstructExpr, class A)
1055 // CHECK:     2: [B1.1] (BindTemporary)
1056 // CHECK:     3: [B1.2].operator int
1057 // CHECK:     4: [B1.2]
1058 // CHECK:     5: [B1.4] (ImplicitCastExpr, UserDefinedConversion, int)
1059 // CHECK:     6: int([B1.5]) (CXXFunctionalCastExpr, NoOp, int)
1060 // CHECK:     7: B() (CXXConstructExpr, class B)
1061 // CHECK:     8: [B1.7] (BindTemporary)
1062 // CHECK:     9: [B1.8].operator int
1063 // CHECK:    10: [B1.8]
1064 // CHECK:    11: [B1.10] (ImplicitCastExpr, UserDefinedConversion, int)
1065 // CHECK:    12: int([B1.11]) (CXXFunctionalCastExpr, NoOp, int)
1066 // CHECK:    13: [B1.6] + [B1.12]
1067 // CHECK:    14: a([B1.13]) (Member initializer)
1068 // CHECK:    15: ~B() (Temporary object destructor)
1069 // CHECK:    16: ~A() (Temporary object destructor)
1070 // CHECK:    17: /*implicit*/int()
1071 // CHECK:    18: b([B1.17]) (Member initializer)
1072 // CHECK:     Preds (1): B2
1073 // CHECK:     Succs (1): B0
1074 // CHECK:   [B0 (EXIT)]
1075 // CHECK:     Preds (1): B1
1076 // CHECK:   [B3 (ENTRY)]
1077 // CHECK:     Succs (1): B2
1078 // CHECK:   [B1]
1079 // CHECK:     1: int b;
1080 // CHECK:     Preds (1): B2(Unreachable)
1081 // CHECK:     Succs (1): B0
1082 // CHECK:   [B2 (NORETURN)]
1083 // CHECK:     1: int a;
1084 // CHECK:     2: NoReturn() (CXXConstructExpr, class NoReturn)
1085 // CHECK:     3: [B2.2] (BindTemporary)
1086 // CHECK:     4: [B2.3].f
1087 // CHECK:     5: [B2.4]()
1088 // CHECK:     6: ~NoReturn() (Temporary object destructor)
1089 // CHECK:     Preds (1): B3
1090 // CHECK:     Succs (1): B0
1091 // CHECK:   [B0 (EXIT)]
1092 // CHECK:     Preds (2): B1 B2
1093 // CHECK:   [B3 (ENTRY)]
1094 // CHECK:     Succs (1): B2
1095 // CHECK:   [B1]
1096 // CHECK:     1: int b;
1097 // CHECK:     Preds (1): B2(Unreachable)
1098 // CHECK:     Succs (1): B0
1099 // CHECK:   [B2 (NORETURN)]
1100 // CHECK:     1: int a;
1101 // CHECK:     2: NoReturn() (CXXConstructExpr, class NoReturn)
1102 // CHECK:     3: [B2.2] (BindTemporary)
1103 // CHECK:     4: 47
1104 // CHECK:     5: ... , [B2.4]
1105 // CHECK:     6: ~NoReturn() (Temporary object destructor)
1106 // CHECK:     Preds (1): B3
1107 // CHECK:     Succs (1): B0
1108 // CHECK:   [B0 (EXIT)]
1109 // CHECK:     Preds (2): B1 B2
1110 // CHECK:   [B9 (ENTRY)]
1111 // CHECK:     Succs (1): B8
1112 // CHECK:   [B1]
1113 // CHECK:     1: 0
1114 // CHECK:     2: return [B1.1];
1115 // CHECK:     Preds (2): B3 B8
1116 // CHECK:     Succs (1): B0
1117 // CHECK:   [B2]
1118 // CHECK:     1: 1
1119 // CHECK:     2: return [B2.1];
1120 // CHECK:     Preds (1): B3
1121 // CHECK:     Succs (1): B0
1122 // CHECK:   [B3]
1123 // CHECK:     T: if [B5.1]
1124 // CHECK:     Preds (2): B4(Unreachable) B5
1125 // CHECK:     Succs (2): B2 B1
1126 // CHECK:   [B4 (NORETURN)]
1127 // CHECK:     1: ~NoReturn() (Temporary object destructor)
1128 // CHECK:     Preds (1): B5
1129 // CHECK:     Succs (1): B0
1130 // CHECK:   [B5]
1131 // CHECK:     1: [B7.3] || [B6.7]
1132 // CHECK:     T: (Temp Dtor) [B6.4]
1133 // CHECK:     Preds (2): B6 B7
1134 // CHECK:     Succs (2): B4 B3
1135 // CHECK:   [B6]
1136 // CHECK:     1: check
1137 // CHECK:     2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &))
1138 // CHECK:     3: NoReturn() (CXXConstructExpr, class NoReturn)
1139 // CHECK:     4: [B6.3] (BindTemporary)
1140 // CHECK:     5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn)
1141 // CHECK:     6: [B6.5]
1142 // CHECK:     7: [B6.2]([B6.6])
1143 // CHECK:     Preds (1): B7
1144 // CHECK:     Succs (1): B5
1145 // CHECK:   [B7]
1146 // CHECK:     1: value
1147 // CHECK:     2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1148 // CHECK:     3: ![B7.2]
1149 // CHECK:     T: [B7.3] || ...
1150 // CHECK:     Preds (1): B8
1151 // CHECK:     Succs (2): B5 B6
1152 // CHECK:   [B8]
1153 // CHECK:     1: value
1154 // CHECK:     2: [B8.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1155 // CHECK:     T: if [B8.2]
1156 // CHECK:     Preds (1): B9
1157 // CHECK:     Succs (2): B7 B1
1158 // CHECK:   [B0 (EXIT)]
1159 // CHECK:     Preds (3): B1 B2 B4
1160 // CHECK:   [B10 (ENTRY)]
1161 // CHECK:     Succs (1): B9
1162 // CHECK:   [B1]
1163 // CHECK:     1: 0
1164 // CHECK:     2: return [B1.1];
1165 // CHECK:     Preds (2): B3 B9
1166 // CHECK:     Succs (1): B0
1167 // CHECK:   [B2]
1168 // CHECK:     1: 1
1169 // CHECK:     2: return [B2.1];
1170 // CHECK:     Preds (1): B3
1171 // CHECK:     Succs (1): B0
1172 // CHECK:   [B3]
1173 // CHECK:     T: if [B5.1]
1174 // CHECK:     Preds (2): B4(Unreachable) B5
1175 // CHECK:     Succs (2): B2 B1
1176 // CHECK:   [B4 (NORETURN)]
1177 // CHECK:     1: ~NoReturn() (Temporary object destructor)
1178 // CHECK:     Preds (1): B5
1179 // CHECK:     Succs (1): B0
1180 // CHECK:   [B5]
1181 // CHECK:     1: [B8.3] || [B7.3] || [B6.7]
1182 // CHECK:     T: (Temp Dtor) [B6.4]
1183 // CHECK:     Preds (3): B6 B7 B8
1184 // CHECK:     Succs (2): B4 B3
1185 // CHECK:   [B6]
1186 // CHECK:     1: check
1187 // CHECK:     2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &))
1188 // CHECK:     3: NoReturn() (CXXConstructExpr, class NoReturn)
1189 // CHECK:     4: [B6.3] (BindTemporary)
1190 // CHECK:     5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn)
1191 // CHECK:     6: [B6.5]
1192 // CHECK:     7: [B6.2]([B6.6])
1193 // CHECK:     Preds (1): B7
1194 // CHECK:     Succs (1): B5
1195 // CHECK:   [B7]
1196 // CHECK:     1: value
1197 // CHECK:     2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1198 // CHECK:     3: ![B7.2]
1199 // CHECK:     T: [B8.3] || [B7.3] || ...
1200 // CHECK:     Preds (1): B8
1201 // CHECK:     Succs (2): B5 B6
1202 // CHECK:   [B8]
1203 // CHECK:     1: value
1204 // CHECK:     2: [B8.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1205 // CHECK:     3: ![B8.2]
1206 // CHECK:     T: [B8.3] || ...
1207 // CHECK:     Preds (1): B9
1208 // CHECK:     Succs (2): B5 B7
1209 // CHECK:   [B9]
1210 // CHECK:     1: value
1211 // CHECK:     2: [B9.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1212 // CHECK:     T: if [B9.2]
1213 // CHECK:     Preds (1): B10
1214 // CHECK:     Succs (2): B8 B1
1215 // CHECK:   [B0 (EXIT)]
1216 // CHECK:     Preds (3): B1 B2 B4
1217 // CHECK:   [B10 (ENTRY)]
1218 // CHECK:     Succs (1): B9
1219 // CHECK:   [B1]
1220 // CHECK:     1: 0
1221 // CHECK:     2: return [B1.1];
1222 // CHECK:     Preds (2): B3 B9
1223 // CHECK:     Succs (1): B0
1224 // CHECK:   [B2]
1225 // CHECK:     1: 1
1226 // CHECK:     2: return [B2.1];
1227 // CHECK:     Preds (1): B3
1228 // CHECK:     Succs (1): B0
1229 // CHECK:   [B3]
1230 // CHECK:     T: if [B5.1]
1231 // CHECK:     Preds (2): B4(Unreachable) B5
1232 // CHECK:     Succs (2): B2 B1
1233 // CHECK:   [B4 (NORETURN)]
1234 // CHECK:     1: ~NoReturn() (Temporary object destructor)
1235 // CHECK:     Preds (1): B5
1236 // CHECK:     Succs (1): B0
1237 // CHECK:   [B5]
1238 // CHECK:     1: [B8.3] || [B7.2] || [B6.7]
1239 // CHECK:     T: (Temp Dtor) [B6.4]
1240 // CHECK:     Preds (3): B6 B7 B8
1241 // CHECK:     Succs (2): B4 B3
1242 // CHECK:   [B6]
1243 // CHECK:     1: check
1244 // CHECK:     2: [B6.1] (ImplicitCastExpr, FunctionToPointerDecay, _Bool (*)(const class NoReturn &))
1245 // CHECK:     3: NoReturn() (CXXConstructExpr, class NoReturn)
1246 // CHECK:     4: [B6.3] (BindTemporary)
1247 // CHECK:     5: [B6.4] (ImplicitCastExpr, NoOp, const class NoReturn)
1248 // CHECK:     6: [B6.5]
1249 // CHECK:     7: [B6.2]([B6.6])
1250 // CHECK:     Preds (1): B7
1251 // CHECK:     Succs (1): B5
1252 // CHECK:   [B7]
1253 // CHECK:     1: value
1254 // CHECK:     2: [B7.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1255 // CHECK:     T: [B8.3] || [B7.2] || ...
1256 // CHECK:     Preds (1): B8
1257 // CHECK:     Succs (2): B5 B6
1258 // CHECK:   [B8]
1259 // CHECK:     1: value
1260 // CHECK:     2: [B8.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1261 // CHECK:     3: ![B8.2]
1262 // CHECK:     T: [B8.3] || ...
1263 // CHECK:     Preds (1): B9
1264 // CHECK:     Succs (2): B5 B7
1265 // CHECK:   [B9]
1266 // CHECK:     1: value
1267 // CHECK:     2: [B9.1] (ImplicitCastExpr, LValueToRValue, _Bool)
1268 // CHECK:     T: if [B9.2]
1269 // CHECK:     Preds (1): B10
1270 // CHECK:     Succs (2): B8 B1
1271 // CHECK:   [B0 (EXIT)]
1272 // CHECK:     Preds (3): B1 B2 B4
1273