diff --git a/clang/lib/AST/Interp/ByteCodeEmitter.cpp b/clang/lib/AST/Interp/ByteCodeEmitter.cpp index be56348beca73..f56e0d1ba32b2 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 027f881f4d803..fcf4b578d7d31 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(); +};