1762bb9d0ad20320b9f97a841dce57ba5e8e48b07Richard Smith// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s 2c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 3c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct NonTrivial { 4c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NonTrivial(const NonTrivial&); 5c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 6c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 7ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// A defaulted copy constructor for a class X is defined as deleted if X has: 8ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith 9ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// -- a variant member with a non-trivial corresponding constructor 106c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithunion DeletedNTVariant { 11a2e76f56c60dbd4de3dc0fed02bb01bea4dcff81Richard Smith NonTrivial NT; // expected-note{{copy constructor of 'DeletedNTVariant' is implicitly deleted because variant field 'NT' has a non-trivial copy constructor}} 12c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt DeletedNTVariant(); 13c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 14c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntDeletedNTVariant DVa; 15e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorDeletedNTVariant DVb(DVa); // expected-error{{call to implicitly-deleted copy constructor}} 16c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 176c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct DeletedNTVariant2 { 18c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt union { 19a2e76f56c60dbd4de3dc0fed02bb01bea4dcff81Richard Smith NonTrivial NT; // expected-note{{copy constructor of 'DeletedNTVariant2' is implicitly deleted because variant field 'NT' has a non-trivial copy constructor}} 20c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt }; 21c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt DeletedNTVariant2(); 22c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 23c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntDeletedNTVariant2 DV2a; 24e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorDeletedNTVariant2 DV2b(DV2a); // expected-error{{call to implicitly-deleted copy constructor}} 25c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 26ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// -- a non-static data member of class type M (or array thereof) that cannot be 27ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// copied because overload resolution results in an ambiguity or a function 28ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// that is deleted or inaccessible 29c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct NoAccess { 30c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NoAccess() = default; 31c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntprivate: 32c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NoAccess(const NoAccess&); 33c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 34c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt friend struct HasAccess; 35c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 36c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 376c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct HasNoAccess { 386c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smith NoAccess NA; // expected-note{{copy constructor of 'HasNoAccess' is implicitly deleted because field 'NA' has an inaccessible copy constructor}} 39c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 40c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntHasNoAccess HNAa; 41e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorHasNoAccess HNAb(HNAa); // expected-error{{call to implicitly-deleted copy constructor}} 42c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 43c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct HasAccess { 44c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NoAccess NA; 45c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 46c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 47c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntHasAccess HAa; 48c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntHasAccess HAb(HAa); 49c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 50c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct NonConst { 51c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NonConst(NonConst&); 52c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 53c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct Ambiguity { 54c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt Ambiguity(const Ambiguity&); 55c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt Ambiguity(volatile Ambiguity&); 56c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 57c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 586c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct IsAmbiguous { 59c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NonConst NC; 606c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smith Ambiguity A; // expected-note 2{{copy constructor of 'IsAmbiguous' is implicitly deleted because field 'A' has multiple copy constructors}} 61c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt IsAmbiguous(); 62c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 63c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntIsAmbiguous IAa; 64e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorIsAmbiguous IAb(IAa); // expected-error{{call to implicitly-deleted copy constructor}} 65c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 666c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct Deleted { 676c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smith IsAmbiguous IA; // expected-note{{copy constructor of 'Deleted' is implicitly deleted because field 'IA' has a deleted copy constructor}} 68c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 69c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntDeleted Da; 70e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorDeleted Db(Da); // expected-error{{call to implicitly-deleted copy constructor}} 71c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 72ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// -- a direct or virtual base class B that cannot be copied because overload 73ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// resolution results in an ambiguity or a function that is deleted or 74ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// inaccessible 756c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct AmbiguousCopyBase : Ambiguity { // expected-note 2{{copy constructor of 'AmbiguousCopyBase' is implicitly deleted because base class 'Ambiguity' has multiple copy constructors}} 76ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith NonConst NC; 77ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith}; 78ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smithextern AmbiguousCopyBase ACBa; 79ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard SmithAmbiguousCopyBase ACBb(ACBa); // expected-error {{deleted copy constructor}} 80ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith 816c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct DeletedCopyBase : AmbiguousCopyBase {}; // expected-note {{copy constructor of 'DeletedCopyBase' is implicitly deleted because base class 'AmbiguousCopyBase' has a deleted copy constructor}} 82ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smithextern DeletedCopyBase DCBa; 83ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard SmithDeletedCopyBase DCBb(DCBa); // expected-error {{deleted copy constructor}} 84ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith 856c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct InaccessibleCopyBase : NoAccess {}; // expected-note {{copy constructor of 'InaccessibleCopyBase' is implicitly deleted because base class 'NoAccess' has an inaccessible copy constructor}} 86ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smithextern InaccessibleCopyBase ICBa; 87ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard SmithInaccessibleCopyBase ICBb(ICBa); // expected-error {{deleted copy constructor}} 88ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith 89ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// -- any direct or virtual base class or non-static data member of a type with 90ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// a destructor that is deleted or inaccessible 91c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct NoAccessDtor { 92c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntprivate: 93c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt ~NoAccessDtor(); 94c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt friend struct HasAccessDtor; 95c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 96c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 976c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct HasNoAccessDtor { 986c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smith NoAccessDtor NAD; // expected-note{{copy constructor of 'HasNoAccessDtor' is implicitly deleted because field 'NAD' has an inaccessible destructor}} 99c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt HasNoAccessDtor(); 100c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt ~HasNoAccessDtor(); 101c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 102c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntHasNoAccessDtor HNADa; 103e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorHasNoAccessDtor HNADb(HNADa); // expected-error{{call to implicitly-deleted copy constructor}} 104c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 105c32d684d6c787b332a64c9013598d5ef668c4b45Sean Huntstruct HasAccessDtor { 106c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt NoAccessDtor NAD; 107c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 108c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntHasAccessDtor HADa; 109c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntHasAccessDtor HADb(HADa); 110c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt 1116c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct HasNoAccessDtorBase : NoAccessDtor { // expected-note{{copy constructor of 'HasNoAccessDtorBase' is implicitly deleted because base class 'NoAccessDtor' has an inaccessible destructor}} 112ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith}; 113ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smithextern HasNoAccessDtorBase HNADBa; 114ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard SmithHasNoAccessDtorBase HNADBb(HNADBa); // expected-error{{implicitly-deleted copy constructor}} 115ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith 116ec92bc78979aae6ec436fe51d082f7467e6f96c0Richard Smith// -- a non-static data member of rvalue reference type 1176c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smithstruct RValue { 1186c4c36c4ed1007143f5b8655eb68b313a7e12e76Richard Smith int && ri = 1; // expected-note{{copy constructor of 'RValue' is implicitly deleted because field 'ri' is of rvalue reference type 'int &&'}} 119c32d684d6c787b332a64c9013598d5ef668c4b45Sean Hunt}; 120c32d684d6c787b332a64c9013598d5ef668c4b45Sean HuntRValue RVa; 121e4e68d45f89ff4899d30cbd196603d09b7fbc150Douglas GregorRValue RVb(RVa); // expected-error{{call to implicitly-deleted copy constructor}} 122517bb844016064f303416f09f1aeb123e32c0f66Richard Smith 123517bb844016064f303416f09f1aeb123e32c0f66Richard Smithnamespace PR13381 { 124517bb844016064f303416f09f1aeb123e32c0f66Richard Smith struct S { 125517bb844016064f303416f09f1aeb123e32c0f66Richard Smith S(const S&); 126517bb844016064f303416f09f1aeb123e32c0f66Richard Smith S(const volatile S&) = delete; // expected-note{{deleted here}} 127517bb844016064f303416f09f1aeb123e32c0f66Richard Smith }; 128517bb844016064f303416f09f1aeb123e32c0f66Richard Smith struct T { 129517bb844016064f303416f09f1aeb123e32c0f66Richard Smith volatile S s; // expected-note{{field 's' has a deleted copy constructor}} 130517bb844016064f303416f09f1aeb123e32c0f66Richard Smith }; 131517bb844016064f303416f09f1aeb123e32c0f66Richard Smith T &f(); 132517bb844016064f303416f09f1aeb123e32c0f66Richard Smith T t = f(); // expected-error{{call to implicitly-deleted copy constructor}} 133517bb844016064f303416f09f1aeb123e32c0f66Richard Smith} 134