initializers-cfg-output.cpp revision e1ce783708b65eaa832ffad03d239264046dd0eb 
1// RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG %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:    Succs (1): B1
49// CHECK:  [B1]
50// CHECK:    1:  (CXXConstructExpr, class A)
51// CHECK:    2: A([B1.1]) (Base initializer)
52// CHECK:    3:  (CXXConstructExpr, class C)
53// CHECK:    4: C([B1.3]) (Base initializer)
54// CHECK:    5:  (CXXConstructExpr, class B)
55// CHECK:    6: B([B1.5]) (Base initializer)
56// CHECK:    7:  (CXXConstructExpr, class A)
57// CHECK:    8: A([B1.7]) (Base initializer)
58// CHECK:    9: /*implicit*/int()
59// CHECK:   10: i([B1.9]) (Member initializer)
60// CHECK:   11: this
61// CHECK:   12: [B1.11]->i
62// CHECK:   13: r([B1.12]) (Member initializer)
63// CHECK:   14:  (CXXConstructExpr, class A)
64// CHECK:   15: A a;
65// CHECK:    Preds (1): B2
66// CHECK:    Succs (1): B0
67// CHECK:  [B0 (EXIT)]
68// CHECK:    Preds (1): B1
69// CHECK:  [B5 (ENTRY)]
70// CHECK:    Succs (1): B4
71// CHECK:  [B1]
72// CHECK:    1: [B4.4] ? [B2.1] : [B3.1]
73// CHECK:    2: y([B1.1]) (Member initializer)
74// CHECK:    3: this
75// CHECK:    4: [B1.3]->y
76// CHECK:    5: [B1.4] (ImplicitCastExpr, LValueToRValue, int)
77// CHECK:    6: z([B1.5]) (Member initializer)
78// CHECK:    7: int v;
79// CHECK:    Preds (2): B2 B3
80// CHECK:    Succs (1): B0
81// CHECK:  [B2]
82// CHECK:    1: 0
83// CHECK:    Preds (1): B4
84// CHECK:    Succs (1): B1
85// CHECK:  [B3]
86// CHECK:    1: 1
87// CHECK:    Preds (1): B4
88// CHECK:    Succs (1): B1
89// CHECK:  [B4]
90// CHECK:    1: 0
91// CHECK:    2: x([B4.1]) (Member initializer)
92// CHECK:    3: b
93// CHECK:    4: [B4.3] (ImplicitCastExpr, LValueToRValue, _Bool)
94// CHECK:    T: [B4.4] ? ... : ...
95// CHECK:    Preds (1): B5
96// CHECK:    Succs (2): B2 B3
97// CHECK:  [B0 (EXIT)]
98// CHECK:    Preds (1): B1
99