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
|
// RUN: clang-reorder-fields -record-name bar::Foo -fields-order y,z,c,x %s -- 2>&1 | FileCheck --check-prefix=CHECK-MESSAGES %s
// FIXME: clang-reorder-fields should provide -verify mode to make writing these checks
// easier and more accurate, for now we follow clang-tidy's approach.
namespace bar {
struct Dummy {
Dummy(int x, char c) : x(x), c(c) {}
int x;
char c;
};
class Foo {
public:
Foo(int x, double y, char cin);
Foo(int nx);
Foo();
int x;
double y;
char c;
Dummy z;
};
static char bar(char c) {
return c + 1;
}
Foo::Foo() : x(), y(), c(), z(0, 'a') {}
Foo::Foo(int x, double y, char cin) :
x(x),
y(y),
c(cin),
z(this->x, bar(c))
// CHECK-MESSAGES: :[[@LINE-1]]:3: warning: reordering field x after z makes x uninitialized when used in init expression
// CHECK-MESSAGES: :[[@LINE-2]]:3: warning: reordering field c after z makes c uninitialized when used in init expression
{}
Foo::Foo(int nx) :
x(nx),
y(x),
c(0),
z(bar(bar(x)), c)
// CHECK-MESSAGES: :[[@LINE-3]]:3: warning: reordering field x after y makes x uninitialized when used in init expression
// CHECK-MESSAGES: :[[@LINE-2]]:3: warning: reordering field x after z makes x uninitialized when used in init expression
// CHECK-MESSAGES: :[[@LINE-3]]:3: warning: reordering field c after z makes c uninitialized when used in init expression
{}
} // namespace bar
int main() {
bar::Foo F(5, 12.8, 'c');
return 0;
}
|
