| 1 | // RUN: %clang_cc1 -std=c++2a -emit-llvm -O0 -triple x86_64-unknown-linux-gnu -DNOATTR %s -o - | FileCheck %s |
|---|
| 2 | // RUN: %clang_cc1 -std=c++2a -emit-llvm -O0 -triple x86_64-unknown-linux-gnu %s -o - | FileCheck %s --check-prefix=CHECK-ATTR |
|---|
| 3 | // RUN: %clang_cc1 -std=c++2a -emit-llvm -O0 -triple x86_64-unknown-linux-gnu -DNOATTR -fno-c++-static-destructors %s -o - | FileCheck %s --check-prefix=CHECK-FLAG |
|---|
| 4 | |
|---|
| 5 | // Regression test for D54344. Class with no user-defined destructor |
|---|
| 6 | // that has an inherited member that has a non-trivial destructor |
|---|
| 7 | // and a non-default constructor will attempt to emit a destructor |
|---|
| 8 | // despite being marked as __attribute((no_destroy)) in which case |
|---|
| 9 | // it would trigger an assertion due to an incorrect assumption. |
|---|
| 10 | |
|---|
| 11 | // This test is more reliable with asserts to work as without |
|---|
| 12 | // the crash may (unlikely) could generate working but semantically |
|---|
| 13 | // incorrect code. |
|---|
| 14 | |
|---|
| 15 | class a { |
|---|
| 16 | public: |
|---|
| 17 | ~a(); |
|---|
| 18 | }; |
|---|
| 19 | class logger_base { |
|---|
| 20 | a d; |
|---|
| 21 | }; |
|---|
| 22 | class e : logger_base {}; |
|---|
| 23 | #ifndef NOATTR |
|---|
| 24 | __attribute((no_destroy)) |
|---|
| 25 | #endif |
|---|
| 26 | e g; |
|---|
| 27 | |
|---|
| 28 | // In the absence of the attribute and flag, both ctor and dtor should |
|---|
| 29 | // be emitted, check for that. |
|---|
| 30 | // CHECK: @__cxx_global_var_init |
|---|
| 31 | // CHECK: @__cxa_atexit |
|---|
| 32 | |
|---|
| 33 | // When attribute is enabled, the constructor should not be balanced |
|---|
| 34 | // by a destructor. Make sure we have the ctor but not the dtor |
|---|
| 35 | // registration. |
|---|
| 36 | // CHECK-ATTR: @__cxx_global_var_init |
|---|
| 37 | // CHECK-ATTR-NOT: @__cxa_atexit |
|---|
| 38 | |
|---|
| 39 | // Same scenario except with global flag (-fno-c++-static-destructors) |
|---|
| 40 | // supressing it instead of the attribute. |
|---|
| 41 | // CHECK-FLAG: @__cxx_global_var_init |
|---|
| 42 | // CHECK-FLAG-NOT: @__cxa_atexit |
|---|
| 43 | |
|---|