// RUN: %clang_cc1 -triple %itanium_abi_triple -fsyntax-only %s -fcxx-exceptions -fassume-nothrow-exception-dtor -verify

namespace test1 {
template <typename T> struct A { A(); ~A(); };
struct B { ~B() noexcept(false); };
struct B1 : B {};
struct B2 { B b; };
struct C { virtual void f(); } c;
struct MoveOnly { MoveOnly(); MoveOnly(MoveOnly&&); };
void run() {
  throw A<int>();
  throw B();  // expected-error{{cannot throw object of type 'B' with a potentially-throwing destructor}}
  throw new B;
  throw B1(); // expected-error{{cannot throw object of type 'B1' with a potentially-throwing destructor}}
  B2 b2;
  throw b2;   // expected-error{{cannot throw object of type 'B2' with a potentially-throwing destructor}}
  throw c;
  MoveOnly m;
  throw m;
}
}