| // 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; |
| } |
| } |