initializers-cfg-output.cpp revision 882998923889a2fcce9b49696506c499e22cf38f 
1// RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG -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:
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