clang/test/SemaCXX/no_destroy.cpp

// RUN: %clang_cc1 -DNO_DTORS -fno-c++-static-destructors -verify %s
// RUN: %clang_cc1 -verify %s

struct SecretDestructor {
#ifndef NO_DTORS
  // expected-note@+2 4 {{private}}
#endif
private: ~SecretDestructor(); // expected-note 2 {{private}}
};

SecretDestructor sd1;
thread_local SecretDestructor sd2;
void locals() {
  static SecretDestructor sd3;
  thread_local SecretDestructor sd4;
}

#ifndef NO_DTORS
// SecretDestructor sd1;                  // expected-error@-8 {{private}}
// thread_local SecretDestructor sd2;     // expected-error@-8 {{private}}
// void locals() {
//   static SecretDestructor sd3;         // expected-error@-8 {{private}}
//   thread_local SecretDestructor sd4;   // expected-error@-8 {{private}}
// }
#endif

[[clang::always_destroy]] SecretDestructor sd6; // expected-error{{private}}
[[clang::always_destroy]] thread_local SecretDestructor sd7; // expected-error{{private}}

[[clang::no_destroy]] SecretDestructor sd8;

int main() {
  [[clang::no_destroy]] int p; // expected-error{{no_destroy attribute can only be applied to a variable with static or thread storage duration}}
  [[clang::always_destroy]] int p2; // expected-error{{always_destroy attribute can only be applied to a variable with static or thread storage duration}}
  [[clang::no_destroy]] static int p3;
  [[clang::always_destroy]] static int p4;
}

[[clang::always_destroy]] [[clang::no_destroy]] int p; // expected-error{{'no_destroy' and 'always_destroy' attributes are not compatible}} // expected-note{{here}}
[[clang::no_destroy]] [[clang::always_destroy]] int p2; // expected-error{{'always_destroy' and 'no_destroy' attributes are not compatible}} // expected-note{{here}}