Clang Project

clang_source_code/test/CXX/except/except.spec/p14.cpp
1// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -verify -std=c++11 %s
2struct A { };
3struct B { };
4struct C { };
5
6// Destructor
7struct X0 { 
8  virtual ~X0() throw(A); // expected-note{{overridden virtual function is here}} 
9};
10struct X1 { 
11  virtual ~X1() throw(B); // expected-note{{overridden virtual function is here}} 
12};
13struct X2 : public X0, public X1 { }; // expected-error 2{{exception specification of overriding function is more lax than base version}}
14 
15// Copy-assignment operator.
16struct CA0 {
17  CA0 &operator=(const CA0&) throw(A);
18};
19struct CA1 {
20  CA1 &operator=(const CA1&) throw(B);
21};
22struct CA2 : CA0, CA1 { };
23
24void test_CA() {
25  CA2 &(CA2::*captr1)(const CA2&) throw(A, B) = &CA2::operator=;
26  CA2 &(CA2::*captr2)(const CA2&) throw(A, B, C) = &CA2::operator=;
27  CA2 &(CA2::*captr3)(const CA2&) throw(A) = &CA2::operator=; // expected-error{{target exception specification is not superset of source}}
28  CA2 &(CA2::*captr4)(const CA2&) throw(B) = &CA2::operator=; // expected-error{{target exception specification is not superset of source}}
29}
30
31// In-class member initializers.
32struct IC0 {
33  int inClassInit = 0;
34};
35struct IC1 {
36  int inClassInit = (throw B(), 0);
37};
38// FIXME: the exception specification on the default constructor is wrong:
39// we cannot currently compute the set of thrown types.
40static_assert(noexcept(IC0()), "IC0() does not throw");
41static_assert(!noexcept(IC1()), "IC1() throws");
42
43namespace PR13381 {
44  struct NoThrowMove {
45    NoThrowMove(const NoThrowMove &);
46    NoThrowMove(NoThrowMove &&) noexcept;
47    NoThrowMove &operator=(const NoThrowMove &) const;
48    NoThrowMove &operator=(NoThrowMove &&) const noexcept;
49  };
50  struct NoThrowMoveOnly {
51    NoThrowMoveOnly(NoThrowMoveOnly &&) noexcept;
52    NoThrowMoveOnly &operator=(NoThrowMoveOnly &&) noexcept;
53  };
54  struct X {
55    const NoThrowMove a;
56    NoThrowMoveOnly b;
57
58    static X val();
59    static X &ref();
60  };
61  // These both perform a move, but that copy might throw, because it calls
62  // NoThrowMove's copy constructor (because PR13381::a is const).
63  static_assert(!noexcept(X(X::val())), "");
64  static_assert(!noexcept(X::ref() = X::val()), "");
65}
66
67namespace PR14141 {
68  // Part of DR1351: the implicit exception-specification is noexcept(false) if
69  // the set of potential exceptions of the special member function contains
70  // "any". Hence it is compatible with noexcept(false).
71  struct ThrowingBase {
72    ThrowingBase() noexcept(false);
73    ThrowingBase(const ThrowingBase&) noexcept(false);
74    ThrowingBase(ThrowingBase&&) noexcept(false);
75    ThrowingBase &operator=(const ThrowingBase&) noexcept(false);
76    ThrowingBase &operator=(ThrowingBase&&) noexcept(false);
77    ~ThrowingBase() noexcept(false);
78  };
79  struct Derived : ThrowingBase {
80    Derived() noexcept(false) = default;
81    Derived(const Derived&) noexcept(false) = default;
82    Derived(Derived&&) noexcept(false) = default;
83    Derived &operator=(const Derived&) noexcept(false) = default;
84    Derived &operator=(Derived&&) noexcept(false) = default;
85    ~Derived() noexcept(false) = default;
86  };
87  struct Derived2 : ThrowingBase {
88    Derived2() = default;
89    Derived2(const Derived2&) = default;
90    Derived2(Derived2&&) = default;
91    Derived2 &operator=(const Derived2&) = default;
92    Derived2 &operator=(Derived2&&) = default;
93    ~Derived2() = default;
94  };
95  struct Derived3 : ThrowingBase {
96    Derived3() noexcept(true) = default; // expected-error {{does not match the calculated}}
97    Derived3(const Derived3&) noexcept(true) = default; // expected-error {{does not match the calculated}}
98    Derived3(Derived3&&) noexcept(true) = default; // expected-error {{does not match the calculated}}
99    Derived3 &operator=(const Derived3&) noexcept(true) = default; // expected-error {{does not match the calculated}}
100    Derived3 &operator=(Derived3&&) noexcept(true) = default; // expected-error {{does not match the calculated}}
101    ~Derived3() noexcept(true) = default; // expected-error {{does not match the calculated}}
102  };
103}
104
105namespace rdar13017229 {
106  struct Base {
107    virtual ~Base() {}
108  };
109  
110  struct Derived : Base {
111    virtual ~Derived();
112    Typo foo(); // expected-error{{unknown type name 'Typo'}}
113  };
114}
115
116namespace InhCtor {
117  template<int> struct X {};
118  struct Base {
119    Base(X<0>) noexcept(true);
120    Base(X<1>) noexcept(false);
121    Base(X<2>) throw(X<2>);
122    template<typename T> Base(T) throw(T);
123  };
124  template<typename T> struct Throw {
125    Throw() throw(T);
126  };
127  struct Derived1 : Base, X<5> {
128    using Base::Base;
129    int n;
130  };
131  struct Derived2 : Base, Throw<X<3>> {
132    using Base::Base;
133  };
134  struct Derived3 : Base {
135    using Base::Base;
136    Throw<X<4>> x;
137  };
138  static_assert(noexcept(Derived1(X<0>())), "");
139  static_assert(!noexcept(Derived1(X<1>())), "");
140  static_assert(!noexcept(Derived1(X<2>())), "");
141  static_assert(!noexcept(Derived2(X<0>())), "");
142  static_assert(!noexcept(Derived3(X<0>())), "");
143}
144
CodeThinker, Enjoy your reading code