initializers-cfg-output.cpp revision 82bc3fd823d85ee3ef9a641c0975b6ad25f55047
1// RUN: %clang_cc1 -analyze -cfg-dump -cfg-add-initializers %s 2>&1 | FileCheck %s 2// XPASS: * 3 4class A { 5public: 6 A() {} 7 A(int i) {} 8}; 9 10class B : public virtual A { 11public: 12 B() {} 13 B(int i) : A(i) {} 14}; 15 16class C : public virtual A { 17public: 18 C() {} 19 C(int i) : A(i) {} 20}; 21 22class TestOrder : public C, public B, public A { 23 int i; 24 int& r; 25public: 26 TestOrder(); 27}; 28 29TestOrder::TestOrder() 30 : r(i), B(), i(), C() { 31 A a; 32} 33 34class TestControlFlow { 35 int x, y, z; 36public: 37 TestControlFlow(bool b); 38}; 39 40TestControlFlow::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: A() (Base initializer) 52// CHECK: 2: C() (Base initializer) 53// CHECK: 3: B() (Base initializer) 54// CHECK: 4: A() (Base initializer) 55// CHECK: 5: i(/*implicit*/int()) (Member initializer) 56// CHECK: 6: r(this->i) (Member initializer) 57// CHECK: 7: A a; 58// CHECK: Predecessors (1): B2 59// CHECK: Successors (1): B0 60// CHECK: [ B0 (EXIT) ] 61// CHECK: Predecessors (1): B1 62// CHECK: Successors (0): 63// CHECK: [ B5 (ENTRY) ] 64// CHECK: Predecessors (0): 65// CHECK: Successors (1): B4 66// CHECK: [ B1 ] 67// CHECK: 1: [B4.2] ? [B2.1] : [B3.1] 68// CHECK: 2: y([B1.1]) (Member initializer) 69// CHECK: 3: z(this->y) (Member initializer) 70// CHECK: 4: int v; 71// CHECK: Predecessors (2): B2 B3 72// CHECK: Successors (1): B0 73// CHECK: [ B2 ] 74// CHECK: 1: 0 75// CHECK: Predecessors (1): B4 76// CHECK: Successors (1): B1 77// CHECK: [ B3 ] 78// CHECK: 1: 1 79// CHECK: Predecessors (1): B4 80// CHECK: Successors (1): B1 81// CHECK: [ B4 ] 82// CHECK: 1: x(0) (Member initializer) 83// CHECK: 2: b 84// CHECK: T: [B4.2] ? ... : ... 85// CHECK: Predecessors (1): B5 86// CHECK: Successors (2): B2 B3 87// CHECK: [ B0 (EXIT) ] 88// CHECK: Predecessors (1): B1 89// CHECK: Successors (0): 90