1// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2
3struct non_copiable {
4  non_copiable(const non_copiable&) = delete; // expected-note {{marked deleted here}}
5  non_copiable& operator = (const non_copiable&) = delete; // expected-note {{explicitly deleted}}
6  non_copiable() = default;
7};
8
9struct non_const_copy {
10  non_const_copy(non_const_copy&);
11  non_const_copy& operator = (non_const_copy&) &;
12  non_const_copy& operator = (non_const_copy&) &&;
13  non_const_copy() = default; // expected-note {{not viable}}
14};
15non_const_copy::non_const_copy(non_const_copy&) = default; // expected-note {{not viable}}
16non_const_copy& non_const_copy::operator = (non_const_copy&) & = default; // expected-note {{not viable}}
17non_const_copy& non_const_copy::operator = (non_const_copy&) && = default; // expected-note {{not viable}}
18
19void fn1 () {
20  non_copiable nc;
21  non_copiable nc2 = nc; // expected-error {{deleted constructor}}
22  nc = nc; // expected-error {{deleted operator}}
23
24  non_const_copy ncc;
25  non_const_copy ncc2 = ncc;
26  ncc = ncc2;
27  const non_const_copy cncc{};
28  const non_const_copy cncc1; // expected-error {{default initialization of an object of const type 'const non_const_copy' without a user-provided default constructor}} expected-note {{add an explicit initializer to initialize 'cncc1'}}
29  non_const_copy ncc3 = cncc; // expected-error {{no matching}}
30  ncc = cncc; // expected-error {{no viable overloaded}}
31};
32
33struct non_const_derived : non_const_copy {
34  non_const_derived(const non_const_derived&) = default; // expected-error {{requires it to be non-const}}
35  non_const_derived& operator =(non_const_derived&) = default;
36};
37
38struct bad_decls {
39  bad_decls(volatile bad_decls&) = default; // expected-error {{may not be volatile}}
40  bad_decls&& operator = (bad_decls) = default; // expected-error {{lvalue reference}} expected-error {{must return 'bad_decls &'}}
41  bad_decls& operator = (volatile bad_decls&) = default; // expected-error {{may not be volatile}}
42  bad_decls& operator = (const bad_decls&) const = default; // expected-error {{may not have 'const', 'constexpr' or 'volatile' qualifiers}}
43};
44
45struct DefaultDelete {
46  DefaultDelete() = default; // expected-note {{previous declaration is here}}
47  DefaultDelete() = delete; // expected-error {{constructor cannot be redeclared}}
48
49  ~DefaultDelete() = default; // expected-note {{previous declaration is here}}
50  ~DefaultDelete() = delete; // expected-error {{destructor cannot be redeclared}}
51
52  DefaultDelete &operator=(const DefaultDelete &) = default; // expected-note {{previous declaration is here}}
53  DefaultDelete &operator=(const DefaultDelete &) = delete; // expected-error {{class member cannot be redeclared}}
54};
55
56struct DeleteDefault {
57  DeleteDefault() = delete; // expected-note {{previous definition is here}}
58  DeleteDefault() = default; // expected-error {{constructor cannot be redeclared}}
59
60  ~DeleteDefault() = delete; // expected-note {{previous definition is here}}
61  ~DeleteDefault() = default; // expected-error {{destructor cannot be redeclared}}
62
63  DeleteDefault &operator=(const DeleteDefault &) = delete; // expected-note {{previous definition is here}}
64  DeleteDefault &operator=(const DeleteDefault &) = default; // expected-error {{class member cannot be redeclared}}
65};
66
67struct A {}; struct B {};
68
69struct except_spec_a {
70  virtual ~except_spec_a() throw(A);
71  except_spec_a() throw(A);
72};
73struct except_spec_b {
74  virtual ~except_spec_b() throw(B);
75  except_spec_b() throw(B);
76};
77
78struct except_spec_d_good : except_spec_a, except_spec_b {
79  ~except_spec_d_good();
80};
81except_spec_d_good::~except_spec_d_good() = default;
82struct except_spec_d_good2 : except_spec_a, except_spec_b {
83  ~except_spec_d_good2() = default;
84};
85struct except_spec_d_bad : except_spec_a, except_spec_b {
86  ~except_spec_d_bad() noexcept;
87};
88// FIXME: This should error because this exception spec is not
89// compatible with the implicit exception spec.
90except_spec_d_bad::~except_spec_d_bad() noexcept = default;
91
92// FIXME: This should error because this exception spec is not
93// compatible with the implicit exception spec.
94struct except_spec_d_mismatch : except_spec_a, except_spec_b {
95  except_spec_d_mismatch() throw(A) = default;
96};
97struct except_spec_d_match : except_spec_a, except_spec_b {
98  except_spec_d_match() throw(A, B) = default;
99};
100
101// gcc-compatibility: allow attributes on default definitions
102// (but not normal definitions)
103struct S { S(); };
104S::S() __attribute((pure)) = default;
105
106using size_t = decltype(sizeof(0));
107void *operator new(size_t) = delete; // expected-error {{deleted definition must be first declaration}} expected-note {{implicit}}
108void operator delete(void *) noexcept = delete; // expected-error {{deleted definition must be first declaration}} expected-note {{implicit}}
109