1 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.DumpCFG %s 2>&1 | FileCheck %s
2 // XPASS: *
3
4 class A {
5 public:
A()6 A() {}
A(int i)7 A(int i) {}
8 };
9
10 class B : public virtual A {
11 public:
B()12 B() {}
B(int i)13 B(int i) : A(i) {}
14 };
15
16 class C : public virtual A {
17 public:
C()18 C() {}
C(int i)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
TestOrder()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
TestControlFlow(bool b)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: 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