1eec915d6SRichard Smith // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -fcxx-exceptions %s 2f769df5eSSebastian Redl 3f769df5eSSebastian Redl int i = delete; // expected-error {{only functions can have deleted definitions}} 4f769df5eSSebastian Redl 5f769df5eSSebastian Redl void fn() = delete; // expected-note {{candidate function has been explicitly deleted}} 6f769df5eSSebastian Redl 7f769df5eSSebastian Redl void fn2(); // expected-note {{previous declaration is here}} 8f769df5eSSebastian Redl void fn2() = delete; // expected-error {{deleted definition must be first declaration}} 9f769df5eSSebastian Redl 104a8ea109SAlexis Hunt void fn3() = delete; // expected-note {{previous definition is here}} fn3()114a8ea109SAlexis Huntvoid fn3() { // expected-error {{redefinition}} 12f769df5eSSebastian Redl } 13f769df5eSSebastian Redl ov(int)14f769df5eSSebastian Redlvoid ov(int) {} // expected-note {{candidate function}} 15f769df5eSSebastian Redl void ov(double) = delete; // expected-note {{candidate function has been explicitly deleted}} 16f769df5eSSebastian Redl 1742e92c4bSSebastian Redl struct WithDel { 18b79ee570STed Kremenek WithDel() = delete; // expected-note {{'WithDel' has been explicitly marked deleted here}} 19b79ee570STed Kremenek void fn() = delete; // expected-note {{'fn' has been explicitly marked deleted here}} 20b79ee570STed Kremenek operator int() = delete; // expected-note {{'operator int' has been explicitly marked deleted here}} 2142e92c4bSSebastian Redl void operator +(int) = delete; 22d1309a3cSSebastian Redl 23d1309a3cSSebastian Redl int i = delete; // expected-error {{only functions can have deleted definitions}} 2442e92c4bSSebastian Redl }; 2542e92c4bSSebastian Redl test()26f769df5eSSebastian Redlvoid test() { 27f769df5eSSebastian Redl fn(); // expected-error {{call to deleted function 'fn'}} 28f769df5eSSebastian Redl ov(1); 29f769df5eSSebastian Redl ov(1.0); // expected-error {{call to deleted function 'ov'}} 3042e92c4bSSebastian Redl 3185f90559SJohn McCall WithDel dd; // expected-error {{call to deleted constructor of 'WithDel'}} 3242e92c4bSSebastian Redl WithDel *d = 0; 3342e92c4bSSebastian Redl d->fn(); // expected-error {{attempt to use a deleted function}} 347827520cSEli Friedman int i = *d; // expected-error {{invokes a deleted function}} 35f769df5eSSebastian Redl } 36eec915d6SRichard Smith 37eec915d6SRichard Smith struct DelDtor { 38eec915d6SRichard Smith ~DelDtor() = delete; // expected-note 9{{here}} 39eec915d6SRichard Smith }; f()40eec915d6SRichard Smithvoid f() { 41eec915d6SRichard Smith DelDtor *p = new DelDtor[3]; // expected-error {{attempt to use a deleted function}} 42eec915d6SRichard Smith delete [] p; // expected-error {{attempt to use a deleted function}} 43eec915d6SRichard Smith const DelDtor &dd2 = DelDtor(); // expected-error {{attempt to use a deleted function}} 44eec915d6SRichard Smith DelDtor dd; // expected-error {{attempt to use a deleted function}} 45eec915d6SRichard Smith throw dd; // expected-error {{attempt to use a deleted function}} 46eec915d6SRichard Smith } 47eec915d6SRichard Smith struct X : DelDtor { ~XX48eec915d6SRichard Smith ~X() {} // expected-error {{attempt to use a deleted function}} 49eec915d6SRichard Smith }; 50eec915d6SRichard Smith struct Y { 51eec915d6SRichard Smith DelDtor dd; ~YY52eec915d6SRichard Smith ~Y() {} // expected-error {{attempt to use a deleted function}} 53eec915d6SRichard Smith }; 54eec915d6SRichard Smith struct Z : virtual DelDtor { ~ZZ55eec915d6SRichard Smith ~Z() {} // expected-error {{attempt to use a deleted function}} 56eec915d6SRichard Smith }; 57eec915d6SRichard Smith DelDtor dd; // expected-error {{attempt to use a deleted function}} 5836805521SDavid Blaikie 5936805521SDavid Blaikie template<typename> void test2() = delete; 6036805521SDavid Blaikie template void test2<int>(); 6136805521SDavid Blaikie 625a0956e9SDavid Blaikie template<typename> void test3() = delete; 6336805521SDavid Blaikie template<typename> void test3(); 645a0956e9SDavid Blaikie template void test3<int>(); 65af031a9aSDavid Blaikie test4()66af031a9aSDavid Blaikievoid test4() {} // expected-note {{previous definition is here}} 67af031a9aSDavid Blaikie void test4() = delete; // expected-error {{redefinition of 'test4'}} 68589cab5eSRichard Smith 69589cab5eSRichard Smith struct DelCtor { // expected-note 4{{implicit}} 70d3f2d321SRichard Smith DelCtor(int) = delete; // expected-note 14{{deleted}} 71589cab5eSRichard Smith // ensure the class is not an aggregate 72589cab5eSRichard Smith DelCtor(int, int, int, int); 73589cab5eSRichard Smith }; 74589cab5eSRichard Smith DelCtor dc1 = 0; // expected-error {{deleted}} 75589cab5eSRichard Smith DelCtor dc2(0); // expected-error {{deleted}} 76589cab5eSRichard Smith DelCtor dc3 = {0}; // expected-error {{deleted}} 77589cab5eSRichard Smith DelCtor dc4{0}; // expected-error {{deleted}} 78589cab5eSRichard Smith DelCtor dc5 = (DelCtor)0; // expected-error {{deleted}} 79589cab5eSRichard Smith DelCtor dc6 = DelCtor(0); // expected-error {{deleted}} 80589cab5eSRichard Smith DelCtor dc7 = DelCtor{0}; // expected-error {{deleted}} 81589cab5eSRichard Smith DelCtor *dc8 = new DelCtor(0); // expected-error {{deleted}} 82589cab5eSRichard Smith DelCtor *dc9 = new DelCtor{0}; // expected-error {{deleted}} 83589cab5eSRichard Smith DelCtor dc10[] = {0}; // expected-error {{deleted}} 84589cab5eSRichard Smith int use_dc(DelCtor); // expected-note 2{{here}} 85589cab5eSRichard Smith int dc11 = use_dc(0); // expected-error {{deleted}} 86589cab5eSRichard Smith int dc12 = use_dc({0}); // expected-error {{deleted}} 87589cab5eSRichard Smith int use_dcr(const DelCtor &); // expected-note {{here}} 88d3f2d321SRichard Smith int dc13 = use_dcr(0); // expected-error {{deleted}} 89589cab5eSRichard Smith int dc14 = use_dcr({0}); // expected-error {{deleted}} 90*7c9442a6SRichard Smith 91*7c9442a6SRichard Smith struct DelCtorTemplate { 92*7c9442a6SRichard Smith template<typename T> DelCtorTemplate(T) = delete; // expected-note {{deleted}} 93*7c9442a6SRichard Smith }; 94*7c9442a6SRichard Smith int use_dct(const DelCtorTemplate &); 95*7c9442a6SRichard Smith int dc15 = use_dct(0); // expected-error {{deleted}} 96