mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-25 10:06:07 +00:00
21eb1af469
This patch implements a necessary part of P0848, the overload resolution for destructors. It is now possible to overload destructors based on constraints, and the eligible destructor will be selected at the end of the class. The approach this patch takes is to perform the overload resolution in Sema::ActOnFields and to mark the selected destructor using a new property in FunctionDeclBitfields. CXXRecordDecl::getDestructor is then modified to use this property to return the correct destructor. This closes https://github.com/llvm/llvm-project/issues/45614. Reviewed By: #clang-language-wg, erichkeane Differential Revision: https://reviews.llvm.org/D126194
119 lines
4.5 KiB
C++
119 lines
4.5 KiB
C++
// RUN: %clang_cc1 -std=c++20 -triple x86_64-pc-linux -ast-dump=json %s | FileCheck %s
|
|
// RUN: %clang_cc1 -std=c++20 -triple x86_64-pc-win32 -ast-dump=json %s | FileCheck %s -check-prefixes=CHECK,WIN32
|
|
|
|
// This test validates that we compute correct AST properties of classes after choosing
|
|
// their destructor when doing destructor overload resolution with concepts.
|
|
|
|
template <int N>
|
|
struct A {
|
|
~A() requires(N == 1) = default;
|
|
~A() requires(N == 2) = delete;
|
|
~A() requires(N == 3);
|
|
constexpr ~A() requires(N == 4);
|
|
|
|
private:
|
|
~A() requires(N == 5) = default;
|
|
};
|
|
|
|
|
|
template struct A<1>;
|
|
// CHECK: "kind": "ClassTemplateSpecializationDecl",
|
|
// CHECK: "definitionData": {
|
|
// CHECK-NEXT: "canConstDefaultInit": true,
|
|
// CHECK-NEXT: "canPassInRegisters": true,
|
|
// CHECK-NEXT: "copyAssign": {
|
|
|
|
// CHECK: "dtor": {
|
|
// CHECK-NEXT: "irrelevant": true,
|
|
// CHECK-NEXT: "trivial": true,
|
|
// CHECK-NEXT: "userDeclared": true
|
|
// CHECK-NEXT: },
|
|
// CHECK-NEXT: "hasConstexprNonCopyMoveConstructor": true,
|
|
// CHECK-NEXT: "isAggregate": true,
|
|
// CHECK-NEXT: "isEmpty": true,
|
|
// CHECK-NEXT: "isLiteral": true,
|
|
// CHECK-NEXT: "isStandardLayout": true,
|
|
// CHECK-NEXT: "isTrivial": true,
|
|
// CHECK-NEXT: "isTriviallyCopyable": true,
|
|
// CHECK-NEXT: "moveAssign": {},
|
|
// CHECK-NEXT: "moveCtor": {}
|
|
|
|
template struct A<2>;
|
|
// CHECK: "kind": "ClassTemplateSpecializationDecl",
|
|
// CHECK: "definitionData": {
|
|
// CHECK-NEXT: "canConstDefaultInit": true,
|
|
// CHECK-NEXT: "canPassInRegisters": true,
|
|
// CHECK-NEXT: "copyAssign": {
|
|
|
|
// CHECK: "dtor": {
|
|
// CHECK-NEXT: "trivial": true,
|
|
// CHECK-NEXT: "userDeclared": true
|
|
// CHECK-NEXT: },
|
|
// CHECK-NEXT: "hasConstexprNonCopyMoveConstructor": true,
|
|
// CHECK-NEXT: "isAggregate": true,
|
|
// CHECK-NEXT: "isEmpty": true,
|
|
// CHECK-NEXT: "isStandardLayout": true,
|
|
// CHECK-NEXT: "isTrivial": true,
|
|
// CHECK-NEXT: "isTriviallyCopyable": true,
|
|
// CHECK-NEXT: "moveAssign": {},
|
|
// CHECK-NEXT: "moveCtor": {}
|
|
|
|
template struct A<3>;
|
|
// CHECK: "kind": "ClassTemplateSpecializationDecl",
|
|
// CHECK: "definitionData": {
|
|
// CHECK-NEXT: "canConstDefaultInit": true,
|
|
// WIN32-NEXT: "canPassInRegisters": true,
|
|
// CHECK-NEXT: "copyAssign": {
|
|
|
|
// CHECK: "dtor": {
|
|
// CHECK-NEXT: "nonTrivial": true,
|
|
// CHECK-NEXT: "userDeclared": true
|
|
// CHECK-NEXT: },
|
|
// CHECK-NEXT: "hasConstexprNonCopyMoveConstructor": true,
|
|
// CHECK-NEXT: "isAggregate": true,
|
|
// CHECK-NEXT: "isEmpty": true,
|
|
// CHECK-NEXT: "isStandardLayout": true,
|
|
// CHECK-NEXT: "moveAssign": {},
|
|
// CHECK-NEXT: "moveCtor": {}
|
|
|
|
template struct A<4>;
|
|
// CHECK: "kind": "ClassTemplateSpecializationDecl",
|
|
// CHECK: "definitionData": {
|
|
// CHECK-NEXT: "canConstDefaultInit": true,
|
|
// WIN32-NEXT: "canPassInRegisters": true,
|
|
// CHECK-NEXT: "copyAssign": {
|
|
|
|
// CHECK: "dtor": {
|
|
// CHECK-NEXT: "nonTrivial": true,
|
|
// CHECK-NEXT: "userDeclared": true
|
|
// CHECK-NEXT: },
|
|
// CHECK-NEXT: "hasConstexprNonCopyMoveConstructor": true,
|
|
// CHECK-NEXT: "isAggregate": true,
|
|
// CHECK-NEXT: "isEmpty": true,
|
|
// CHECK-NEXT: "isLiteral": true,
|
|
// CHECK-NEXT: "isStandardLayout": true,
|
|
// CHECK-NEXT: "moveAssign": {},
|
|
// CHECK-NEXT: "moveCtor": {}
|
|
|
|
template struct A<5>;
|
|
// CHECK: "kind": "ClassTemplateSpecializationDecl",
|
|
// CHECK: "definitionData": {
|
|
// CHECK-NEXT: "canConstDefaultInit": true,
|
|
// CHECK-NEXT: "canPassInRegisters": true,
|
|
// CHECK-NEXT: "copyAssign": {
|
|
|
|
// CHECK: "dtor": {
|
|
// CHECK-NEXT: "trivial": true,
|
|
// CHECK-NEXT: "userDeclared": true
|
|
// CHECK-NEXT: },
|
|
// CHECK-NEXT: "hasConstexprNonCopyMoveConstructor": true,
|
|
// CHECK-NEXT: "isAggregate": true,
|
|
// CHECK-NEXT: "isEmpty": true,
|
|
// CHECK-NEXT: "isLiteral": true,
|
|
// CHECK-NEXT: "isStandardLayout": true,
|
|
// CHECK-NEXT: "isTrivial": true,
|
|
// CHECK-NEXT: "isTriviallyCopyable": true,
|
|
// CHECK-NEXT: "moveAssign": {},
|
|
// CHECK-NEXT: "moveCtor": {}
|
|
|