clang/test/Modules/exception-spec.cpp

   1 // RUN: rm -rf %t
   2 // RUN: %clang_cc1 -x c++ -std=c++17 -fmodules -fmodules-local-submodule-visibility -fmodules-cache-path=%t %s -verify
   3
   4 // expected-no-diagnostics
   5
   6 #pragma clang module build PR38627
   7 module PR38627 {}
   8 #pragma clang module contents
   9 #pragma clang module begin PR38627
  10 namespace PR38627 {
  11 struct X {
  12   virtual ~X() {}
  13   struct C {
  14     friend X::~X();
  15   } c;
  16 };
  17 }
  18 #pragma clang module end
  19 #pragma clang module endbuild
  20
  21 #pragma clang module import PR38627
  22
  23 namespace PR38627 {
  24 struct Y {
  25   virtual ~Y() {}
  26   struct C {
  27     friend Y::~Y();
  28   } c;
  29 };
  30 static_assert(noexcept(X().~X()));
  31 static_assert(noexcept(Y().~Y()));
  32
  33 struct A { virtual ~A() = default; };
  34 struct B : public A, public X {
  35   virtual ~B() override = default;
  36 };
  37 } // PR38627