test/SemaCXX/warn-exit-time-destructors.cpp

// RUN: %clang_cc1 -std=c++11 -fsyntax-only -Wexit-time-destructors %s -verify=expected,cxx11
// RUN: %clang_cc1 -std=c++20 -fsyntax-only -Wexit-time-destructors %s -verify=expected

namespace test1 {
  struct A { ~A(); };
  A a; // expected-warning {{declaration requires an exit-time destructor}}
  A b[10]; // expected-warning {{declaration requires an exit-time destructor}}
  A c[10][10]; // expected-warning {{declaration requires an exit-time destructor}}

  A &d = a;
  A &e = b[5];
  A &f = c[5][7];
}

namespace test2 {
void f() {
  struct A { ~A() { } };
  
  static A a; // expected-warning {{declaration requires an exit-time destructor}}
  static A b[10]; // expected-warning {{declaration requires an exit-time destructor}}
  static A c[10][10]; // expected-warning {{declaration requires an exit-time destructor}}

  static A &d = a;
  static A &e = b[5];
  static A &f = c[5][7];
}
}

namespace test3 {
  struct A { ~A() = default; };
  A a;

  struct B { ~B(); };
  struct C : B { ~C() = default; };
  C c; // expected-warning {{exit-time destructor}}

  class D {
    friend struct E;
    ~D() = default;
  };
  struct E : D {
    D d;
    ~E() = default;
  };
  E e;
}

namespace test4 {
struct A { ~A(); };
[[clang::no_destroy]] A a; // no warning
}

namespace test5 {
  struct A { ~A(); };
  [[clang::always_destroy]] A a; // no warning

  void func() {
    [[clang::always_destroy]] static A a; // no warning
  }
}

namespace test6 {
#if __cplusplus >= 202002L
#define CPP20_CONSTEXPR constexpr
#else
#define CPP20_CONSTEXPR
#endif
  struct S {
    CPP20_CONSTEXPR ~S() {}
  };
  S s; // cxx11-warning {{exit-time destructor}}

  struct T {
    CPP20_CONSTEXPR ~T() { if (b) {} }
    bool b;
  };
  T t; // expected-warning {{exit-time destructor}}
#undef CPP20_CONSTEXPR
}