1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2 3 struct non_trivial { 4 non_trivial(); 5 non_trivial(const non_trivial&); 6 non_trivial& operator = (const non_trivial&); 7 ~non_trivial(); 8 }; 9 10 union bad_union { 11 non_trivial nt; // expected-note {{non-trivial default constructor}} 12 }; 13 bad_union u; // expected-error {{call to implicitly-deleted default constructor}} 14 union bad_union2 { // expected-note {{all data members are const-qualified}} 15 const int i; 16 }; 17 bad_union2 u2; // expected-error {{call to implicitly-deleted default constructor}} 18 19 struct bad_anon { 20 union { 21 non_trivial nt; // expected-note {{non-trivial default constructor}} 22 }; 23 }; 24 bad_anon a; // expected-error {{call to implicitly-deleted default constructor}} 25 struct bad_anon2 { 26 union { // expected-note {{all data members of an anonymous union member are const-qualified}} 27 const int i; 28 }; 29 }; 30 bad_anon2 a2; // expected-error {{call to implicitly-deleted default constructor}} 31 32 // This would be great except that we implement 33 union good_union { 34 const int i; 35 float f; 36 }; 37 good_union gu; 38 struct good_anon { 39 union { 40 const int i; 41 float f; 42 }; 43 }; 44 good_anon ga; 45 46 struct good : non_trivial { 47 non_trivial nt; 48 }; 49 good g; 50 51 struct bad_const { 52 const good g; // expected-note {{field 'g' of const-qualified type 'const good' would not be initialized}} 53 }; 54 bad_const bc; // expected-error {{call to implicitly-deleted default constructor}} 55 56 struct good_const { 57 const non_trivial nt; 58 }; 59 good_const gc; 60 61 struct no_default { 62 no_default() = delete; // expected-note 4{{deleted here}} 63 }; 64 struct no_dtor { 65 ~no_dtor() = delete; // expected-note 2{{deleted here}} 66 }; 67 68 struct bad_field_default { 69 no_default nd; // expected-note {{field 'nd' has a deleted default constructor}} 70 }; 71 bad_field_default bfd; // expected-error {{call to implicitly-deleted default constructor}} 72 struct bad_base_default : no_default { // expected-note {{base class 'no_default' has a deleted default constructor}} 73 }; 74 bad_base_default bbd; // expected-error {{call to implicitly-deleted default constructor}} 75 76 struct bad_field_dtor { 77 no_dtor nd; // expected-note {{field 'nd' has a deleted destructor}} 78 }; 79 bad_field_dtor bfx; // expected-error {{call to implicitly-deleted default constructor}} 80 struct bad_base_dtor : no_dtor { // expected-note {{base class 'no_dtor' has a deleted destructor}} 81 }; 82 bad_base_dtor bbx; // expected-error {{call to implicitly-deleted default constructor}} 83 84 struct ambiguous_default { 85 ambiguous_default(); 86 ambiguous_default(int = 2); 87 }; 88 struct has_amb_field { 89 ambiguous_default ad; // expected-note {{field 'ad' has multiple default constructors}} 90 }; 91 has_amb_field haf; // expected-error {{call to implicitly-deleted default constructor}} 92 93 class inaccessible_default { 94 inaccessible_default(); 95 }; 96 struct has_inacc_field { 97 inaccessible_default id; // expected-note {{field 'id' has an inaccessible default constructor}} 98 }; 99 has_inacc_field hif; // expected-error {{call to implicitly-deleted default constructor}} 100 101 class friend_default { 102 friend struct has_friend; 103 friend_default(); 104 }; 105 struct has_friend { 106 friend_default fd; 107 }; 108 has_friend hf; 109 110 struct defaulted_delete { 111 no_default nd; // expected-note {{because field 'nd' has a deleted default constructor}} 112 defaulted_delete() = default; // expected-note{{implicitly deleted here}} 113 }; 114 defaulted_delete dd; // expected-error {{call to implicitly-deleted default constructor}} 115 116 struct late_delete { 117 no_default nd; // expected-note {{because field 'nd' has a deleted default constructor}} 118 late_delete(); 119 }; 120 late_delete::late_delete() = default; // expected-error {{would delete it}} 121 122 // See also rdar://problem/8125400. 123 namespace empty { 124 static union {}; 125 static union { union {}; }; 126 static union { struct {}; }; 127 static union { union { union {}; }; }; 128 static union { union { struct {}; }; }; 129 static union { struct { union {}; }; }; 130 static union { struct { struct {}; }; }; 131 } 132