diff --git a/clang/lib/AST/Interp/ByteCodeExprGen.cpp b/clang/lib/AST/Interp/ByteCodeExprGen.cpp index c7c87d966cbe7..d700a3e9be72b 100644 --- a/clang/lib/AST/Interp/ByteCodeExprGen.cpp +++ b/clang/lib/AST/Interp/ByteCodeExprGen.cpp @@ -2158,8 +2158,7 @@ bool ByteCodeExprGen::emitRecordDestruction(const Descriptor *Desc) { // Now emit the destructor and recurse into base classes. if (const CXXDestructorDecl *Dtor = R->getDestructor(); Dtor && !Dtor->isTrivial()) { - const Function *DtorFunc = getFunction(Dtor); - if (DtorFunc && DtorFunc->isConstexpr()) { + if (const Function *DtorFunc = getFunction(Dtor)) { assert(DtorFunc->hasThisPointer()); assert(DtorFunc->getNumParams() == 1); if (!this->emitDupPtr(SourceInfo{})) diff --git a/clang/test/AST/Interp/records.cpp b/clang/test/AST/Interp/records.cpp index fcdf75cfa9502..d315e31a13e52 100644 --- a/clang/test/AST/Interp/records.cpp +++ b/clang/test/AST/Interp/records.cpp @@ -566,6 +566,25 @@ namespace Destructors { return i; } static_assert(test() == 1); + + struct S { + constexpr S() {} + constexpr ~S() { // expected-error {{never produces a constant expression}} \ + // ref-error {{never produces a constant expression}} + int i = 1 / 0; // expected-warning {{division by zero}} \ + // expected-note {{division by zero}} \ + // ref-warning {{division by zero}} \ + // ref-note 2{{division by zero}} + } + }; + constexpr int testS() { + S{}; // ref-note {{in call to 'S{}.~S()'}} + return 1; + // FIXME: ^ Wrong line + } + static_assert(testS() == 1); // expected-error {{not an integral constant expression}} \ + // ref-error {{not an integral constant expression}} \ + // ref-note {{in call to 'testS()'}} }