Index: include/clang/AST/DeclCXX.h =================================================================== --- include/clang/AST/DeclCXX.h +++ include/clang/AST/DeclCXX.h @@ -536,11 +536,10 @@ MethodTyInfo(Info) { IsLambda = true; - // C++11 [expr.prim.lambda]p3: - // This class type is neither an aggregate nor a literal type. + // C++1z [expr.prim.lambda]p4: + // This class type is not an aggregate type. Aggregate = false; PlainOldData = false; - HasNonLiteralTypeFieldsOrBases = true; } /// \brief Whether this lambda is known to be dependent, even if its @@ -1339,11 +1338,15 @@ /// /// We resolve DR1361 by ignoring the second bullet. We resolve DR1452 by /// treating types with trivial default constructors as literal types. + /// + /// Only in C++1z and beyond, are lambdas literal types. bool isLiteral() const { return hasTrivialDestructor() && - (isAggregate() || hasConstexprNonCopyMoveConstructor() || - hasTrivialDefaultConstructor()) && - !hasNonLiteralTypeFieldsOrBases(); + (!isLambda() || getASTContext().getLangOpts().CPlusPlus1z) && + !hasNonLiteralTypeFieldsOrBases() && + (isAggregate() || isLambda() || + hasConstexprNonCopyMoveConstructor() || + hasTrivialDefaultConstructor()); } /// \brief If this record is an instantiation of a member class, Index: lib/Sema/SemaType.cpp =================================================================== --- lib/Sema/SemaType.cpp +++ lib/Sema/SemaType.cpp @@ -7165,7 +7165,15 @@ << I.getSourceRange(); } else if (!RD->isAggregate() && !RD->hasConstexprNonCopyMoveConstructor() && !RD->hasTrivialDefaultConstructor()) { - Diag(RD->getLocation(), diag::note_non_literal_no_constexpr_ctors) << RD; + // If the class does not have a name (for e.g. a lambda's closure class) use + // its type which we should know how to pretty-print, otherwise use the + // class's name. + auto &&DiagBuilder = + Diag(RD->getLocation(), diag::note_non_literal_no_constexpr_ctors); + if (!RD->getIdentifier()) + DiagBuilder << Context.getRecordType(RD); + else + DiagBuilder << RD; } else if (RD->hasNonLiteralTypeFieldsOrBases()) { for (const auto &I : RD->bases()) { if (!I.getType()->isLiteralType(Context)) { Index: test/SemaCXX/cxx1z-constexpr-lambdas.cpp =================================================================== --- test/SemaCXX/cxx1z-constexpr-lambdas.cpp +++ test/SemaCXX/cxx1z-constexpr-lambdas.cpp @@ -1,8 +1,8 @@ // RUN: %clang_cc1 -std=c++1z -verify -fsyntax-only -fblocks %s // RUN: %clang_cc1 -std=c++1z -verify -fsyntax-only -fblocks -fdelayed-template-parsing %s -// RUN: %clang_cc1 -std=c++1z -verify -fsyntax-only -fblocks -fms-extensions %s -// RUN: %clang_cc1 -std=c++1z -verify -fsyntax-only -fblocks -fdelayed-template-parsing -fms-extensions %s +// RUN: %clang_cc1 -std=c++14 -verify -fsyntax-only -fblocks %s -DCPP14_AND_EARLIER +#ifndef CPP14_AND_EARLIER namespace test_constexpr_checking { namespace ns1 { @@ -33,4 +33,16 @@ L(3); //expected-note{{non-constexpr function}} } -} // end ns test_constexpr_call \ No newline at end of file +} // end ns test_constexpr_call + +#endif + +namespace test_lambda_is_literal { +#ifdef CPP14_AND_EARLIER +//expected-error@+4{{not a literal type}} +//expected-note@+2{{not an aggregate and has no constexpr constructors}} +#endif +auto L = [] { }; +constexpr int foo(decltype(L) l) { return 0; } + +} \ No newline at end of file