blob: e27a961e123a3aabe139d2d3acc6da8c26d8a516 (
plain) (
blame)
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
|
// RUN: %clang_cc1 %s -I%S -triple=x86_64-apple-darwin10 -emit-llvm -O3 -o - | FileCheck %s
// CHECK: %"struct.rdar20621065::B" = type { float, float }
struct Empty { };
struct A {
explicit A(unsigned a = 0xffffffff) : a(a) { }
unsigned a;
};
struct B : A, Empty {
B() : A(), Empty() { }
};
struct C : A, Empty {
C() : A(), Empty() { }
C(const C& other) : A(0x12345678), Empty(other) { }
};
struct D : A, Empty {
D& operator=(const D& other) {
a = 0x87654321;
Empty::operator=(other);
return *this;
}
};
#define CHECK(x) if (!(x)) return __LINE__
// PR7012
// CHECK-LABEL: define i32 @_Z1fv()
int f() {
B b1;
// Check that A::a is not overwritten by the Empty default constructor.
CHECK(b1.a == 0xffffffff);
C c1;
C c2(c1);
// Check that A::a has the value set in the C::C copy constructor.
CHECK(c2.a == 0x12345678);
D d1, d2;
d2 = d1;
// Check that A::as has the value set in the D copy assignment operator.
CHECK(d2.a == 0x87654321);
// Success!
// CHECK: ret i32 0
return 0;
}
namespace PR8796 {
struct FreeCell {
};
union ThingOrCell {
FreeCell t;
FreeCell cell;
};
struct Things {
ThingOrCell things;
};
Things x;
}
#ifdef HARNESS
extern "C" void printf(const char *, ...);
int main() {
int result = f();
if (result == 0)
printf("success!\n");
else
printf("test on line %d failed!\n", result);
return result;
}
#endif
namespace rdar20621065 {
struct A {
float array[0];
};
struct B : A {
float left;
float right;
};
// Type checked at the top of the file.
B b;
};
|
