https://github.com/jcsxky updated https://github.com/llvm/llvm-project/pull/80802
>From 5430d0709c2ae62bf1cf749b50ab312098ad3771 Mon Sep 17 00:00:00 2001 From: huqizhi <huqi...@feysh.com> Date: Tue, 6 Feb 2024 14:06:40 +0800 Subject: [PATCH] [Clang][Sema] fix crash in codegen stage when an lambda expression declared in an unevaluated context --- clang/docs/ReleaseNotes.rst | 2 ++ clang/lib/Sema/SemaTemplateInstantiate.cpp | 17 +++++++++++------ clang/test/CodeGen/PR76674.cpp | 11 +++++++++++ 3 files changed, 24 insertions(+), 6 deletions(-) create mode 100644 clang/test/CodeGen/PR76674.cpp diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst index ece6013f672621..d809d7eec4d550 100644 --- a/clang/docs/ReleaseNotes.rst +++ b/clang/docs/ReleaseNotes.rst @@ -225,6 +225,8 @@ Bug Fixes to C++ Support or non-constant more accurately. Previously, only a subset of the initializer elements were considered, misclassifying some initializers as constant. Fixes some of (`#80510 <https://github.com/llvm/llvm-project/issues/80510>`). +- Fix a crash in codegen when lambdas declared in an unevaluated context. + Fixes (`#76674 <https://github.com/llvm/llvm-project/issues/76674>`_) Bug Fixes to AST Handling ^^^^^^^^^^^^^^^^^^^^^^^^^ diff --git a/clang/lib/Sema/SemaTemplateInstantiate.cpp b/clang/lib/Sema/SemaTemplateInstantiate.cpp index 6d59180bc446d2..c18360b7b0f308 100644 --- a/clang/lib/Sema/SemaTemplateInstantiate.cpp +++ b/clang/lib/Sema/SemaTemplateInstantiate.cpp @@ -1614,7 +1614,17 @@ bool TemplateInstantiator::AlreadyTransformed(QualType T) { if (T.isNull()) return true; - if (T->isInstantiationDependentType() || T->isVariablyModifiedType()) + bool DependentLambdaType = false; + if (CXXRecordDecl *RD = T->getAsCXXRecordDecl(); RD && RD->isLambda()) { + QualType LambdaCallType = RD->getLambdaCallOperator()->getType(); + if (LambdaCallType->isInstantiationDependentType() || + LambdaCallType->isVariablyModifiedType()) { + DependentLambdaType = true; + } + } + + if (T->isInstantiationDependentType() || T->isVariablyModifiedType() || + DependentLambdaType) return false; getSema().MarkDeclarationsReferencedInType(Loc, T); @@ -2683,11 +2693,6 @@ QualType Sema::SubstType(QualType T, "Cannot perform an instantiation without some context on the " "instantiation stack"); - // If T is not a dependent type or a variably-modified type, there - // is nothing to do. - if (!T->isInstantiationDependentType() && !T->isVariablyModifiedType()) - return T; - TemplateInstantiator Instantiator(*this, TemplateArgs, Loc, Entity); return Instantiator.TransformType(T); } diff --git a/clang/test/CodeGen/PR76674.cpp b/clang/test/CodeGen/PR76674.cpp new file mode 100644 index 00000000000000..2ce931920afe4f --- /dev/null +++ b/clang/test/CodeGen/PR76674.cpp @@ -0,0 +1,11 @@ +// RUN: %clang_cc1 -std=c++20 -emit-llvm -o - %s +// expected-no-diagnostics + +template <class> +struct A { + template <class U> + using Func = decltype([] {return U{};}); +}; + +A<int>::Func<int> f{}; +int i{f()}; _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits