| 1 | // RUN: %clang_cc1 -std=c++11 %s -verify -fcxx-exceptions |
|---|
| 2 | |
|---|
| 3 | // We permit overriding an implicit exception specification with an explicit one |
|---|
| 4 | // as an extension, for compatibility with existing code. |
|---|
| 5 | |
|---|
| 6 | struct S { |
|---|
| 7 | void a(); // expected-note {{here}} |
|---|
| 8 | ~S(); // expected-note {{here}} |
|---|
| 9 | void operator delete(void*); // expected-note {{here}} |
|---|
| 10 | }; |
|---|
| 11 | |
|---|
| 12 | void S::a() noexcept {} // expected-error {{does not match previous}} |
|---|
| 13 | S::~S() noexcept {} // expected-warning {{function previously declared with an implicit exception specification redeclared with an explicit exception specification}} |
|---|
| 14 | void S::operator delete(void*) noexcept {} // expected-warning {{function previously declared with an implicit exception specification redeclared with an explicit exception specification}} |
|---|
| 15 | |
|---|
| 16 | struct T { |
|---|
| 17 | void a() noexcept; // expected-note {{here}} |
|---|
| 18 | ~T() noexcept; // expected-note {{here}} |
|---|
| 19 | void operator delete(void*) noexcept; // expected-note {{here}} |
|---|
| 20 | }; |
|---|
| 21 | |
|---|
| 22 | void T::a() {} // expected-error {{missing exception specification 'noexcept'}} |
|---|
| 23 | T::~T() {} // expected-warning {{function previously declared with an explicit exception specification redeclared with an implicit exception specification}} |
|---|
| 24 | void T::operator delete(void*) {} // expected-warning {{function previously declared with an explicit exception specification redeclared with an implicit exception specification}} |
|---|
| 25 | |
|---|
| 26 | |
|---|
| 27 | // The extension does not extend to function templates. |
|---|
| 28 | |
|---|
| 29 | template<typename T> struct U { |
|---|
| 30 | T t; |
|---|
| 31 | ~U(); // expected-note {{here}} |
|---|
| 32 | void operator delete(void*); // expected-note {{here}} |
|---|
| 33 | }; |
|---|
| 34 | |
|---|
| 35 | template<typename T> U<T>::~U() noexcept(true) {} // expected-error {{exception specification in declaration does not match previous declaration}} |
|---|
| 36 | template<typename T> void U<T>::operator delete(void*) noexcept(false) {} // expected-error {{exception specification in declaration does not match previous declaration}} |
|---|
| 37 | |
|---|
| 38 | |
|---|
| 39 | // Make sure this restriction interacts properly with __attribute__((noreturn)) |
|---|
| 40 | void __attribute__ ((__noreturn__)) PR17110(int status) throw(); |
|---|
| 41 | void PR17110(int status) throw(); |
|---|
| 42 | |
|---|