// Make sure that A's destructor doesn't affect constexpr
// or exception-spec on D's default constructor.
// { dg-do compile { target c++11 } }

struct A {
  constexpr A() noexcept: i(0) { }
  int i;
  ~A() noexcept(false);
};

struct B: A { };

// Should get static initialization, so no constructor call.
// { dg-final { scan-assembler-not "_ZN1BC1Ev" } }
B b;

struct C { C() noexcept; ~C() noexcept(false); };
struct D: C { };
extern D d;

void *operator new(__SIZE_TYPE__, void*) noexcept;

#define SA(X) static_assert((X),#X)
SA(noexcept(new (&d) D));

struct E: virtual C { };
extern E e;
SA(noexcept (new (&e) E));

struct F { C c; };
extern F f;
SA(noexcept (new (&f) F));