| 1 | // RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -verify %s |
|---|
| 2 | |
|---|
| 3 | // The exception specification of a destructor declaration is matched *before* |
|---|
| 4 | // the exception specification adjustment occurs. |
|---|
| 5 | namespace DR1492 { |
|---|
| 6 | struct A { ~A(); }; // expected-note {{here}} |
|---|
| 7 | A::~A() noexcept {} // expected-warning {{previously declared with an implicit exception specification}} |
|---|
| 8 | |
|---|
| 9 | struct B { ~B() noexcept; }; // expected-note {{here}} |
|---|
| 10 | B::~B() {} // expected-warning {{previously declared with an explicit exception specification}} |
|---|
| 11 | |
|---|
| 12 | template<typename T> struct C { |
|---|
| 13 | T t; |
|---|
| 14 | ~C(); // expected-note {{here}} |
|---|
| 15 | }; |
|---|
| 16 | template<typename T> C<T>::~C() noexcept {} // expected-error {{does not match previous}} |
|---|
| 17 | } |
|---|
| 18 | |
|---|