1 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG -cfg-add-initializers %s 2>&1 | FileCheck %s 2 // XPASS: * 3 4 class A { 5 public: 6 A() {} 7 A(int i) {} 8 }; 9 10 class B : public virtual A { 11 public: 12 B() {} 13 B(int i) : A(i) {} 14 }; 15 16 class C : public virtual A { 17 public: 18 C() {} 19 C(int i) : A(i) {} 20 }; 21 22 class TestOrder : public C, public B, public A { 23 int i; 24 int& r; 25 public: 26 TestOrder(); 27 }; 28 29 TestOrder::TestOrder() 30 : r(i), B(), i(), C() { 31 A a; 32 } 33 34 class TestControlFlow { 35 int x, y, z; 36 public: 37 TestControlFlow(bool b); 38 }; 39 40 TestControlFlow::TestControlFlow(bool b) 41 : y(b ? 0 : 1) 42 , x(0) 43 , z(y) { 44 int v; 45 } 46 47 // CHECK: [ B2 (ENTRY) ] 48 // CHECK: Predecessors (0): 49 // CHECK: Successors (1): B1 50 // CHECK: [ B1 ] 51 // CHECK: 1: 52 // CHECK: 2: A([B1.1]) (Base initializer) 53 // CHECK: 3: 54 // CHECK: 4: C([B1.3]) (Base initializer) 55 // CHECK: 5: 56 // CHECK: 6: B([B1.5]) (Base initializer) 57 // CHECK: 7: 58 // CHECK: 8: A([B1.7]) (Base initializer) 59 // CHECK: 9: /*implicit*/int() 60 // CHECK: 10: i([B1.9]) (Member initializer) 61 // CHECK: 11: this 62 // CHECK: 12: [B1.11]->i 63 // CHECK: 13: r([B1.12]) (Member initializer) 64 // CHECK: 14: 65 // CHECK: 15: A a; 66 // CHECK: Predecessors (1): B2 67 // CHECK: Successors (1): B0 68 // CHECK: [ B0 (EXIT) ] 69 // CHECK: Predecessors (1): B1 70 // CHECK: Successors (0): 71 // CHECK: [ B5 (ENTRY) ] 72 // CHECK: Predecessors (0): 73 // CHECK: Successors (1): B4 74 // CHECK: [ B1 ] 75 // CHECK: 1: [B4.4] ? [B2.1] : [B3.1] 76 // CHECK: 2: y([B1.1]) (Member initializer) 77 // CHECK: 3: this 78 // CHECK: 4: [B1.3]->y 79 // CHECK: 5: [B1.4] 80 // CHECK: 6: z([B1.5]) (Member initializer) 81 // CHECK: 7: int v; 82 // CHECK: Predecessors (2): B2 B3 83 // CHECK: Successors (1): B0 84 // CHECK: [ B2 ] 85 // CHECK: 1: 0 86 // CHECK: Predecessors (1): B4 87 // CHECK: Successors (1): B1 88 // CHECK: [ B3 ] 89 // CHECK: 1: 1 90 // CHECK: Predecessors (1): B4 91 // CHECK: Successors (1): B1 92 // CHECK: [ B4 ] 93 // CHECK: 1: 0 94 // CHECK: 2: x([B4.1]) (Member initializer) 95 // CHECK: 3: b 96 // CHECK: 4: [B4.3] 97 // CHECK: T: [B4.4] ? ... : ... 98 // CHECK: Predecessors (1): B5 99 // CHECK: Successors (2): B2 B3 100 // CHECK: [ B0 (EXIT) ] 101 // CHECK: Predecessors (1): B1 102 // CHECK: Successors (0): 103 104