1 // RUN: %clang_cc1 %s -I%S -triple=x86_64-apple-darwin10 -emit-llvm -O3 -o - | FileCheck %s
2 
3 // CHECK: %"struct.rdar20621065::B" = type { float, float }
4 
5 struct Empty { };
6 
7 struct A {
8   explicit A(unsigned a = 0xffffffff) : a(a) { }
9 
10   unsigned a;
11 };
12 
13 struct B : A, Empty {
14   B() : A(), Empty() { }
15 };
16 
17 struct C : A, Empty {
18   C() : A(), Empty() { }
19   C(const C& other) : A(0x12345678), Empty(other) { }
20 };
21 
22 struct D : A, Empty {
23   D& operator=(const D& other) {
24     a = 0x87654321;
25     Empty::operator=(other);
26 
27     return *this;
28   }
29 };
30 
31 #define CHECK(x) if (!(x)) return __LINE__
32 
33 // PR7012
34 // CHECK-LABEL: define i32 @_Z1fv()
35 int f() {
36   B b1;
37 
38   // Check that A::a is not overwritten by the Empty default constructor.
39   CHECK(b1.a == 0xffffffff);
40 
41   C c1;
42   C c2(c1);
43 
44   // Check that A::a has the value set in the C::C copy constructor.
45   CHECK(c2.a == 0x12345678);
46 
47   D d1, d2;
48   d2 = d1;
49 
50   // Check that A::as has the value set in the D copy assignment operator.
51   CHECK(d2.a == 0x87654321);
52 
53   // Success!
54   // CHECK: ret i32 0
55   return 0;
56 }
57 
58 namespace PR8796 {
59   struct FreeCell {
60   };
61   union ThingOrCell {
62     FreeCell t;
63     FreeCell cell;
64   };
65   struct Things {
66     ThingOrCell things;
67   };
68   Things x;
69 }
70 
71 #ifdef HARNESS
72 extern "C" void printf(const char *, ...);
73 
74 int main() {
75   int result = f();
76 
77   if (result == 0)
78     printf("success!\n");
79   else
80     printf("test on line %d failed!\n", result);
81 
82   return result;
83 }
84 #endif
85 
86 namespace rdar20621065 {
87   struct A {
88     float array[0];
89   };
90 
91   struct B : A {
92     float left;
93     float right;
94   };
95 
96   // Type checked at the top of the file.
97   B b;
98 };
99