| 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -fexceptions -o - %s | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | // Copy constructor |
|---|
| 4 | struct X0 { |
|---|
| 5 | X0(); |
|---|
| 6 | X0(const X0 &) throw(); |
|---|
| 7 | X0(X0 &); |
|---|
| 8 | }; |
|---|
| 9 | |
|---|
| 10 | struct X1 { |
|---|
| 11 | X1(); |
|---|
| 12 | X1(const X1 &) throw(); |
|---|
| 13 | }; |
|---|
| 14 | |
|---|
| 15 | struct X2 : X1 { |
|---|
| 16 | X2(); |
|---|
| 17 | }; |
|---|
| 18 | struct X3 : X0, X1 { |
|---|
| 19 | X3(); |
|---|
| 20 | }; |
|---|
| 21 | |
|---|
| 22 | struct X4 { |
|---|
| 23 | X4(X4 &) throw(); |
|---|
| 24 | }; |
|---|
| 25 | |
|---|
| 26 | struct X5 : X0, X4 { }; |
|---|
| 27 | |
|---|
| 28 | void test(X2 x2, X3 x3, X5 x5) { |
|---|
| 29 | // CHECK: define linkonce_odr void @_ZN2X2C1ERKS_(%struct.X2* %this, %struct.X2* dereferenceable({{[0-9]+}})) unnamed_addr |
|---|
| 30 | // CHECK: call void @_ZN2X2C2ERKS_({{.*}}) [[NUW:#[0-9]+]] |
|---|
| 31 | // CHECK-NEXT: ret void |
|---|
| 32 | // CHECK-NEXT: } |
|---|
| 33 | X2 x2a(x2); |
|---|
| 34 | // CHECK: define linkonce_odr void @_ZN2X3C1ERKS_(%struct.X3* %this, %struct.X3* dereferenceable({{[0-9]+}})) unnamed_addr |
|---|
| 35 | // CHECK: call void @_ZN2X3C2ERKS_({{.*}}) [[NUW]] |
|---|
| 36 | // CHECK-NEXT: ret void |
|---|
| 37 | // CHECK-NEXT: } |
|---|
| 38 | X3 x3a(x3); |
|---|
| 39 | // CHECK: define linkonce_odr void @_ZN2X5C1ERS_({{.*}}) unnamed_addr |
|---|
| 40 | // CHECK-NOT: call void @__cxa_call_unexpected |
|---|
| 41 | // CHECK: ret void |
|---|
| 42 | X5 x5a(x5); |
|---|
| 43 | } |
|---|
| 44 | |
|---|
| 45 | // Default constructor |
|---|
| 46 | struct X6 { |
|---|
| 47 | X6() throw(); |
|---|
| 48 | }; |
|---|
| 49 | |
|---|
| 50 | struct X7 { |
|---|
| 51 | X7(); |
|---|
| 52 | }; |
|---|
| 53 | |
|---|
| 54 | struct X8 : X6 { }; |
|---|
| 55 | struct X9 : X6, X7 { }; |
|---|
| 56 | |
|---|
| 57 | void test() { |
|---|
| 58 | // CHECK: define linkonce_odr void @_ZN2X8C1Ev(%struct.X8* %this) unnamed_addr |
|---|
| 59 | // CHECK: call void @_ZN2X8C2Ev({{.*}}) [[NUW]] |
|---|
| 60 | // CHECK-NEXT: ret void |
|---|
| 61 | X8(); |
|---|
| 62 | |
|---|
| 63 | // CHECK: define linkonce_odr void @_ZN2X9C1Ev(%struct.X9* %this) unnamed_addr |
|---|
| 64 | // FIXME: check that this is the end of the line here: |
|---|
| 65 | // CHECK: call void @_ZN2X9C2Ev({{.*}}) |
|---|
| 66 | // CHECK-NEXT: ret void |
|---|
| 67 | X9(); |
|---|
| 68 | |
|---|
| 69 | // CHECK: define linkonce_odr void @_ZN2X8C2Ev(%struct.X8* %this) unnamed_addr |
|---|
| 70 | // CHECK: call void @_ZN2X6C2Ev({{.*}}) [[NUW]] |
|---|
| 71 | // CHECK-NEXT: ret void |
|---|
| 72 | |
|---|
| 73 | // CHECK: define linkonce_odr void @_ZN2X9C2Ev(%struct.X9* %this) unnamed_addr |
|---|
| 74 | // CHECK: call void @_ZN2X6C2Ev({{.*}}) [[NUW]] |
|---|
| 75 | // FIXME: and here: |
|---|
| 76 | // CHECK-NEXT: bitcast |
|---|
| 77 | // CHECK-NEXT: call void @_ZN2X7C2Ev({{.*}}) |
|---|
| 78 | // CHECK: ret void |
|---|
| 79 | } |
|---|
| 80 | |
|---|
| 81 | // CHECK: attributes [[NUW]] = { nounwind{{.*}} } |
|---|
| 82 | |
|---|