| 1 | // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -fcxx-exceptions %s |
|---|
| 2 | |
|---|
| 3 | int i = delete; // expected-error {{only functions can have deleted definitions}} |
|---|
| 4 | |
|---|
| 5 | void fn() = delete; // expected-note {{candidate function has been explicitly deleted}} |
|---|
| 6 | |
|---|
| 7 | void fn2(); // expected-note {{previous declaration is here}} |
|---|
| 8 | void fn2() = delete; // expected-error {{deleted definition must be first declaration}} |
|---|
| 9 | |
|---|
| 10 | void fn3() = delete; // expected-note {{previous definition is here}} |
|---|
| 11 | void fn3() { // expected-error {{redefinition}} |
|---|
| 12 | } |
|---|
| 13 | |
|---|
| 14 | void ov(int) {} // expected-note {{candidate function}} |
|---|
| 15 | void ov(double) = delete; // expected-note {{candidate function has been explicitly deleted}} |
|---|
| 16 | |
|---|
| 17 | struct WithDel { |
|---|
| 18 | WithDel() = delete; // expected-note {{'WithDel' has been explicitly marked deleted here}} |
|---|
| 19 | void fn() = delete; // expected-note {{'fn' has been explicitly marked deleted here}} |
|---|
| 20 | operator int() = delete; // expected-note {{'operator int' has been explicitly marked deleted here}} |
|---|
| 21 | void operator +(int) = delete; |
|---|
| 22 | |
|---|
| 23 | int i = delete; // expected-error {{only functions can have deleted definitions}} |
|---|
| 24 | }; |
|---|
| 25 | |
|---|
| 26 | void test() { |
|---|
| 27 | fn(); // expected-error {{call to deleted function 'fn'}} |
|---|
| 28 | ov(1); |
|---|
| 29 | ov(1.0); // expected-error {{call to deleted function 'ov'}} |
|---|
| 30 | |
|---|
| 31 | WithDel dd; // expected-error {{call to deleted constructor of 'WithDel'}} |
|---|
| 32 | WithDel *d = 0; |
|---|
| 33 | d->fn(); // expected-error {{attempt to use a deleted function}} |
|---|
| 34 | int i = *d; // expected-error {{invokes a deleted function}} |
|---|
| 35 | } |
|---|
| 36 | |
|---|
| 37 | struct DelDtor { |
|---|
| 38 | ~DelDtor() = delete; // expected-note 9{{here}} |
|---|
| 39 | }; |
|---|
| 40 | void f() { |
|---|
| 41 | DelDtor *p = new DelDtor[3]; // expected-error {{attempt to use a deleted function}} |
|---|
| 42 | delete [] p; // expected-error {{attempt to use a deleted function}} |
|---|
| 43 | const DelDtor &dd2 = DelDtor(); // expected-error {{attempt to use a deleted function}} |
|---|
| 44 | DelDtor dd; // expected-error {{attempt to use a deleted function}} |
|---|
| 45 | throw dd; // expected-error {{attempt to use a deleted function}} |
|---|
| 46 | } |
|---|
| 47 | struct X : DelDtor { |
|---|
| 48 | ~X() {} // expected-error {{attempt to use a deleted function}} |
|---|
| 49 | }; |
|---|
| 50 | struct Y { |
|---|
| 51 | DelDtor dd; |
|---|
| 52 | ~Y() {} // expected-error {{attempt to use a deleted function}} |
|---|
| 53 | }; |
|---|
| 54 | struct Z : virtual DelDtor { |
|---|
| 55 | ~Z() {} // expected-error {{attempt to use a deleted function}} |
|---|
| 56 | }; |
|---|
| 57 | DelDtor dd; // expected-error {{attempt to use a deleted function}} |
|---|
| 58 | |
|---|
| 59 | template<typename> void test2() = delete; |
|---|
| 60 | template void test2<int>(); |
|---|
| 61 | |
|---|
| 62 | template<typename> void test3() = delete; |
|---|
| 63 | template<typename> void test3(); |
|---|
| 64 | template void test3<int>(); |
|---|
| 65 | |
|---|
| 66 | void test4() {} // expected-note {{previous definition is here}} |
|---|
| 67 | void test4() = delete; // expected-error {{redefinition of 'test4'}} |
|---|
| 68 | |
|---|
| 69 | struct DelCtor { // expected-note 4{{implicit}} |
|---|
| 70 | DelCtor(int) = delete; // expected-note 14{{deleted}} |
|---|
| 71 | // ensure the class is not an aggregate |
|---|
| 72 | DelCtor(int, int, int, int); |
|---|
| 73 | }; |
|---|
| 74 | DelCtor dc1 = 0; // expected-error {{deleted}} |
|---|
| 75 | DelCtor dc2(0); // expected-error {{deleted}} |
|---|
| 76 | DelCtor dc3 = {0}; // expected-error {{deleted}} |
|---|
| 77 | DelCtor dc4{0}; // expected-error {{deleted}} |
|---|
| 78 | DelCtor dc5 = (DelCtor)0; // expected-error {{deleted}} |
|---|
| 79 | DelCtor dc6 = DelCtor(0); // expected-error {{deleted}} |
|---|
| 80 | DelCtor dc7 = DelCtor{0}; // expected-error {{deleted}} |
|---|
| 81 | DelCtor *dc8 = new DelCtor(0); // expected-error {{deleted}} |
|---|
| 82 | DelCtor *dc9 = new DelCtor{0}; // expected-error {{deleted}} |
|---|
| 83 | DelCtor dc10[] = {0}; // expected-error {{deleted}} |
|---|
| 84 | int use_dc(DelCtor); // expected-note 2{{here}} |
|---|
| 85 | int dc11 = use_dc(0); // expected-error {{deleted}} |
|---|
| 86 | int dc12 = use_dc({0}); // expected-error {{deleted}} |
|---|
| 87 | int use_dcr(const DelCtor &); // expected-note {{here}} |
|---|
| 88 | int dc13 = use_dcr(0); // expected-error {{deleted}} |
|---|
| 89 | int dc14 = use_dcr({0}); // expected-error {{deleted}} |
|---|
| 90 | |
|---|
| 91 | struct DelCtorTemplate { |
|---|
| 92 | template<typename T> DelCtorTemplate(T) = delete; // expected-note {{deleted}} |
|---|
| 93 | }; |
|---|
| 94 | int use_dct(const DelCtorTemplate &); |
|---|
| 95 | int dc15 = use_dct(0); // expected-error {{deleted}} |
|---|
| 96 | |
|---|