summaryrefslogtreecommitdiff
path: root/test/SemaCXX/deleted-function.cpp
blob: bd6fc09eeb7798dd244dbc7db9055e1300aa1164 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
// RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 -fcxx-exceptions %s

int i = delete; // expected-error {{only functions can have deleted definitions}}

void fn() = delete; // expected-note {{candidate function has been explicitly deleted}}

void fn2(); // expected-note {{previous declaration is here}}
void fn2() = delete; // expected-error {{deleted definition must be first declaration}}

void fn3() = delete; // expected-note {{previous definition is here}}
void fn3() { // expected-error {{redefinition}}
}

void ov(int) {} // expected-note {{candidate function}}
void ov(double) = delete; // expected-note {{candidate function has been explicitly deleted}}

struct WithDel {
  WithDel() = delete; // expected-note {{'WithDel' has been explicitly marked deleted here}}
  void fn() = delete; // expected-note {{'fn' has been explicitly marked deleted here}}
  operator int() = delete; // expected-note {{'operator int' has been explicitly marked deleted here}}
  void operator +(int) = delete;

  int i = delete; // expected-error {{only functions can have deleted definitions}}
};

void test() {
  fn(); // expected-error {{call to deleted function 'fn'}}
  ov(1);
  ov(1.0); // expected-error {{call to deleted function 'ov'}}

  WithDel dd; // expected-error {{call to deleted constructor of 'WithDel'}}
  WithDel *d = 0;
  d->fn(); // expected-error {{attempt to use a deleted function}}
  int i = *d; // expected-error {{invokes a deleted function}}
}

struct DelDtor {
  ~DelDtor() = delete; // expected-note 9{{here}}
};
void f() {
  DelDtor *p = new DelDtor[3]; // expected-error {{attempt to use a deleted function}}
  delete [] p; // expected-error {{attempt to use a deleted function}}
  const DelDtor &dd2 = DelDtor(); // expected-error {{attempt to use a deleted function}}
  DelDtor dd; // expected-error {{attempt to use a deleted function}}
  throw dd; // expected-error {{attempt to use a deleted function}}
}
struct X : DelDtor {
  ~X() {} // expected-error {{attempt to use a deleted function}}
};
struct Y {
  DelDtor dd;
  ~Y() {} // expected-error {{attempt to use a deleted function}}
};
struct Z : virtual DelDtor {
  ~Z() {} // expected-error {{attempt to use a deleted function}}
};
DelDtor dd; // expected-error {{attempt to use a deleted function}}

template<typename> void test2() = delete;
template void test2<int>();

template<typename> void test3() = delete;
template<typename> void test3();
template void test3<int>();

void test4() {} // expected-note {{previous definition is here}}
void test4() = delete; // expected-error {{redefinition of 'test4'}}

struct DelCtor { // expected-note 4{{implicit}}
  DelCtor(int) = delete; // expected-note 14{{deleted}}
  // ensure the class is not an aggregate
  DelCtor(int, int, int, int);
};
DelCtor dc1 = 0; // expected-error {{deleted}}
DelCtor dc2(0); // expected-error {{deleted}}
DelCtor dc3 = {0}; // expected-error {{deleted}}
DelCtor dc4{0}; // expected-error {{deleted}}
DelCtor dc5 = (DelCtor)0; // expected-error {{deleted}}
DelCtor dc6 = DelCtor(0); // expected-error {{deleted}}
DelCtor dc7 = DelCtor{0}; // expected-error {{deleted}}
DelCtor *dc8 = new DelCtor(0); // expected-error {{deleted}}
DelCtor *dc9 = new DelCtor{0}; // expected-error {{deleted}}
DelCtor dc10[] = {0}; // expected-error {{deleted}}
int use_dc(DelCtor); // expected-note 2{{here}}
int dc11 = use_dc(0); // expected-error {{deleted}}
int dc12 = use_dc({0}); // expected-error {{deleted}}
int use_dcr(const DelCtor &); // expected-note {{here}}
int dc13 = use_dcr(0); // expected-error {{deleted}}
int dc14 = use_dcr({0}); // expected-error {{deleted}}

struct DelCtorTemplate {
  template<typename T> DelCtorTemplate(T) = delete; // expected-note {{deleted}}
};
int use_dct(const DelCtorTemplate &);
int dc15 = use_dct(0); // expected-error {{deleted}}