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