llvm/clang/test/CXX/special/class.dtor/p3.cpp

// RUN: %clang_cc1 -std=c++11 -fcxx-exceptions -verify %s

// The exception specification of a destructor declaration is matched *before*
// the exception specification adjustment occurs.
namespace DR1492 {
  struct A { ~A(); }; // expected-note {{here}}
  A::~A() noexcept {} // expected-warning {{previously declared with an implicit exception specification}}

  struct B { ~B() noexcept; }; // expected-note {{here}}
  B::~B() {} // expected-warning {{previously declared with an explicit exception specification}}

  template<typename T> struct C {
    T t;
    ~C(); // expected-note {{here}}
  };
  template<typename T> C<T>::~C() noexcept {} // expected-error {{does not match previous}}
}