1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
// RUN: %clang_analyze_cc1 -std=c++11 -fcxx-exceptions -fexceptions -analyzer-checker=debug.DumpCFG -analyzer-config cfg-rich-constructors=true,cfg-implicit-dtors=true,cfg-lifetime=true,cfg-scopes=true %s > %t 2>&1
// RUN: FileCheck --input-file=%t -check-prefixes=CHECK %s
class A {
public:
int x;
[[noreturn]] ~A();
};
void foo();
extern const bool UV;
// CHECK: [B3 (ENTRY)]
// CHECK-NEXT: Succs (1): B2
//
// CHECK: [B1]
// CHECK-NEXT: 1: CFGScopeEnd(a)
// CHECK-NEXT: 2: foo
// CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(void))
// CHECK-NEXT: 4: [B1.3]()
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B2 (NORETURN)]
// CHECK-NEXT: 1: CFGScopeBegin(a)
// CHECK-NEXT: 2: (CXXConstructExpr, [B2.3], A)
// CHECK-NEXT: 3: A a;
// CHECK-NEXT: 4: [B2.3].~A() (Implicit destructor)
// CHECK-NEXT: 5: [B2.3] (Lifetime ends)
// CHECK-NEXT: Preds (1): B3
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B0 (EXIT)]
// CHECK-NEXT: Preds (2): B1 B2
void test_single_decl() {
{
A a;
}
foo();
}
// CHECK: [B6 (ENTRY)]
// CHECK-NEXT: Succs (1): B5
//
// CHECK: [B1]
// CHECK-NEXT: label:
// CHECK-NEXT: 1: foo
// CHECK-NEXT: 2: [B1.1] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(void))
// CHECK-NEXT: 3: [B1.2]()
// CHECK-NEXT: Preds (4): B2 B3(Unreachable) B4 B5(Unreachable)
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B2]
// CHECK-NEXT: 1: CFGScopeEnd(a)
// CHECK-NEXT: Succs (1): B1
//
// CHECK: [B3 (NORETURN)]
// CHECK-NEXT: 1: [B5.3].~A() (Implicit destructor)
// CHECK-NEXT: 2: [B5.3] (Lifetime ends)
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B4]
// CHECK-NEXT: 1: CFGScopeEnd(a)
// CHECK-NEXT: T: goto label;
// CHECK-NEXT: Succs (1): B1
//
// CHECK: [B5 (NORETURN)]
// CHECK-NEXT: 1: CFGScopeBegin(a)
// CHECK-NEXT: 2: (CXXConstructExpr, [B5.3], A)
// CHECK-NEXT: 3: A a;
// CHECK-NEXT: 4: [B5.3].~A() (Implicit destructor)
// CHECK-NEXT: 5: [B5.3] (Lifetime ends)
// CHECK-NEXT: Preds (1): B6
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B0 (EXIT)]
// CHECK-NEXT: Preds (3): B1 B3 B5
void test_forward_goto() {
{
A a;
goto label;
}
label:
foo();
}
// The blocks B3 and B5, are inserted during backpatching goto stmt, to handle
// scope changes.
// CHECK: [B6 (ENTRY)]
// CHECK-NEXT: Succs (1): B3
//
// CHECK: [B1]
// CHECK-NEXT: 1: CFGScopeEnd(a)
// CHECK-NEXT: 2: foo
// CHECK-NEXT: 3: [B1.2] (ImplicitCastExpr, FunctionToPointerDecay, void (*)(void))
// CHECK-NEXT: 4: [B1.3]()
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B2 (NORETURN)]
// CHECK-NEXT: 1: [B3.3].~A() (Implicit destructor)
// CHECK-NEXT: 2: [B3.3] (Lifetime ends)
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B3]
// CHECK-NEXT: label:
// CHECK-NEXT: 1: CFGScopeBegin(a)
// CHECK-NEXT: 2: (CXXConstructExpr, [B3.3], A)
// CHECK-NEXT: 3: A a;
// CHECK-NEXT: Preds (3): B4 B5(Unreachable) B6
// CHECK-NEXT: Succs (1): B5
//
// CHECK: [B4]
// CHECK-NEXT: 1: CFGScopeEnd(a)
// CHECK-NEXT: T: goto label;
// CHECK-NEXT: Succs (1): B3
//
// CHECK: [B5 (NORETURN)]
// CHECK-NEXT: 1: [B3.3].~A() (Implicit destructor)
// CHECK-NEXT: 2: [B3.3] (Lifetime ends)
// CHECK-NEXT: Preds (1): B3
// CHECK-NEXT: Succs (1): B0
//
// CHECK: [B0 (EXIT)]
// CHECK-NEXT: Preds (3): B1 B2 B5
void test_backward_goto() {
label:
{
A a;
goto label;
}
foo();
}
|
