From bf6c1344ec1898d27760e135b77ad2676f88a697 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Timm=20B=C3=A4der?= Date: Fri, 30 Dec 2022 11:50:48 +0100 Subject: [PATCH] [clang][Interp] Handle defined functions without a body This happens when explicitly defaulting a constructor, for example. Differential Revision: https://reviews.llvm.org/D140776 --- clang/lib/AST/Interp/ByteCodeEmitter.cpp | 9 +++------ clang/test/AST/Interp/records.cpp | 6 ++++++ 2 files changed, 9 insertions(+), 6 deletions(-) diff --git a/clang/lib/AST/Interp/ByteCodeEmitter.cpp b/clang/lib/AST/Interp/ByteCodeEmitter.cpp index be56348..f56e0d1 100644 --- a/clang/lib/AST/Interp/ByteCodeEmitter.cpp +++ b/clang/lib/AST/Interp/ByteCodeEmitter.cpp @@ -22,11 +22,6 @@ using Error = llvm::Error; Expected ByteCodeEmitter::compileFunc(const FunctionDecl *FuncDecl) { - // Function is not defined at all or not yet. We will - // create a Function instance but not compile the body. That - // will (maybe) happen later. - bool HasBody = FuncDecl->hasBody(FuncDecl); - // Create a handle over the emitted code. Function *Func = P.getFunction(FuncDecl); if (!Func) { @@ -74,7 +69,9 @@ ByteCodeEmitter::compileFunc(const FunctionDecl *FuncDecl) { } assert(Func); - if (!HasBody) + // For not-yet-defined functions, we only create a Function instance and + // compile their body later. + if (!FuncDecl->isDefined()) return Func; // Compile the function body. diff --git a/clang/test/AST/Interp/records.cpp b/clang/test/AST/Interp/records.cpp index 027f881..fcf4b57 100644 --- a/clang/test/AST/Interp/records.cpp +++ b/clang/test/AST/Interp/records.cpp @@ -325,3 +325,9 @@ namespace DeriveFailures { // expected-error {{must be initialized by a constant expression}} // FIXME: Missing reason for rejection. }; + +namespace EmptyCtor { + struct piecewise_construct_t { explicit piecewise_construct_t() = default; }; + constexpr piecewise_construct_t piecewise_construct = + piecewise_construct_t(); +}; -- 2.7.4