https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/145260
>From f642a6d25a2bd3f12e6629f93152edc784bddbaa Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Mon, 23 Jun 2025 12:31:39 +0800
Subject: [PATCH] [Clang] Back out the source location workaround for
CXXConstruct
https://github.com/zyn0217 ready_for_review
https://github.com/llvm/llvm-project/pull/145260
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/145260
>From 504c05c3a076ecafb4f11ce0703caddfac6e06d1 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Mon, 23 Jun 2025 12:31:39 +0800
Subject: [PATCH] [Clang] Back out the source location workaround for
CXXConstruct
https://github.com/zyn0217 converted_to_draft
https://github.com/llvm/llvm-project/pull/145260
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/145260
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/142945
>From cdd6868879abf4b6c991c7f2b3e9cf9673b0570a Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Thu, 5 Jun 2025 18:52:01 +0800
Subject: [PATCH 1/3] [Clang] Fix name lookup of conversion operators
(TODO: Add ex
https://github.com/zyn0217 created
https://github.com/llvm/llvm-project/pull/143096
CWG2369 revealed another case where we were SFINAE'ing out the invalid result
of substitution, but the expression now makes into evaluation.
We switch to the concept specialization's context before we check it.
zyn0217 wrote:
@rupprecht I sent out https://github.com/llvm/llvm-project/pull/143096 for the
fix :)
https://github.com/llvm/llvm-project/pull/122423
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listin
@@ -6998,6 +7007,31 @@ namespace {
else
return C.getRValueReferenceType(New);
}
+ case Elaborated: {
+auto *ET = cast(Old);
+return C.getElaboratedType(ET->getKeyword(), ET->getQualifier(),
+ wrap(C,
@@ -6998,6 +7007,31 @@ namespace {
else
return C.getRValueReferenceType(New);
}
+ case Elaborated: {
+auto *ET = cast(Old);
+return C.getElaboratedType(ET->getKeyword(), ET->getQualifier(),
+ wrap(C,
@@ -6998,6 +7007,31 @@ namespace {
else
return C.getRValueReferenceType(New);
}
+ case Elaborated: {
+auto *ET = cast(Old);
+return C.getElaboratedType(ET->getKeyword(), ET->getQualifier(),
+ wrap(C,
https://github.com/zyn0217 created
https://github.com/llvm/llvm-project/pull/143143
https://github.com/llvm/llvm-project/issues/142608 reflects a case where the
type sugar on the attributed type alias is lost.
It might be possible to add the sugar back at the cost of duplicating the type
alia
https://github.com/zyn0217 ready_for_review
https://github.com/llvm/llvm-project/pull/145260
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/145260
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/145260
>From 504c05c3a076ecafb4f11ce0703caddfac6e06d1 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Mon, 23 Jun 2025 12:31:39 +0800
Subject: [PATCH 1/2] [Clang] Back out the source location workaround for
CXXConst
@@ -98,7 +98,36 @@ namespace {
CXXCastPath BasePath;
bool IsARCUnbridgedCast;
-SourceRange OpRange;
+struct OpRangeType {
+ SourceLocation Ranges[3];
zyn0217 wrote:
Renamed to Locations :)
https://github.com/llvm/llvm-project/pull/145260
@@ -5120,6 +5121,10 @@ bool Sema::addInstantiatedParametersToScope(
// Simple case: not a parameter pack.
assert(FParamIdx < Function->getNumParams());
ParmVarDecl *FunctionParam = Function->getParamDecl(FParamIdx);
+ DeclarationName name = FunctionParam-
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/122423
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -2127,7 +2127,7 @@ static TemplateDeductionResult
DeduceTemplateArgumentsByTypeMatch(
TA = S.Context.getTypeDeclType(MPA->getMostRecentCXXRecordDecl());
} else {
NestedNameSpecifier *QA = MPA->getQualifier();
-TA = QualType(QA->translateToType(
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/141741
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/141741
>From 4fdb0069e260e36d8cbd021536adc14f6b9ddef1 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Wed, 28 May 2025 18:37:38 +0800
Subject: [PATCH 1/2] [Clang] Reset ArgPackSubstIndex before rewriting CTAD
templa
https://github.com/zyn0217 approved this pull request.
https://github.com/llvm/llvm-project/pull/142081
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 ready_for_review
https://github.com/llvm/llvm-project/pull/143096
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/143096
>From 020160fde7a3cc13b104a5f5577a8037cf412c66 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Fri, 6 Jun 2025 17:09:08 +0800
Subject: [PATCH 1/2] [Clang] Fail the constraint substitution early after
CWG2369
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/143096
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/143096
>From 020160fde7a3cc13b104a5f5577a8037cf412c66 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Fri, 6 Jun 2025 17:09:08 +0800
Subject: [PATCH 1/2] [Clang] Fail the constraint substitution early after
CWG2369
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/143096
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/142945
>From cdd6868879abf4b6c991c7f2b3e9cf9673b0570a Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Thu, 5 Jun 2025 18:52:01 +0800
Subject: [PATCH 1/2] [Clang] Fix name lookup of conversion operators
(TODO: Add ex
https://github.com/zyn0217 approved this pull request.
Thanks
https://github.com/llvm/llvm-project/pull/143291
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 approved this pull request.
https://github.com/llvm/llvm-project/pull/143268
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 approved this pull request.
thanks
Do we also want to add some tests?
https://github.com/llvm/llvm-project/pull/143345
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cf
https://github.com/zyn0217 approved this pull request.
https://github.com/llvm/llvm-project/pull/146986
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -93,6 +94,12 @@ class HeuristicResolver {
// during simplification, and the operation fails if no pointer type is
found.
QualType simplifyType(QualType Type, const Expr *E, bool UnwrapPointer);
+ // Given an expression `Fn` representing the callee in a function call,
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/143345
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 approved this pull request.
Thanks, this looks great
Though part of me is curious about which bug was caught :)
https://github.com/llvm/llvm-project/pull/143345
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://
https://github.com/zyn0217 approved this pull request.
https://github.com/llvm/llvm-project/pull/146153
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/149121
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/149121
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -15512,6 +15512,8 @@ TreeTransform::TransformLambdaExpr(LambdaExpr
*E) {
DC = DC->getParent();
if ((getSema().isUnevaluatedContext() ||
getSema().isConstantEvaluatedContext()) &&
+ !(dyn_cast_or_null(DC->getParent()) &&
+cast(DC->getParent())->isGe
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/149121
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/147675
>From f8b1894ad39560edb5bb0c14194a3a2d54a911ff Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Wed, 9 Jul 2025 16:29:45 +0800
Subject: [PATCH 1/4] [Clang] Consider default template arguments when
synthesizing
@@ -1061,15 +1061,36 @@ BuildDeductionGuideForTypeAlias(Sema &SemaRef,
SmallVector DeduceResults(
F->getTemplateParameters()->size());
+ // We don't have to deduce against the alias template specialization,
+ // if the source template is a synthesized alias deduction
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/147675
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/149264
>From 728de4d995079208605879a0ec30e8f76fe5220c Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Thu, 17 Jul 2025 14:17:02 +0800
Subject: [PATCH 1/2] [Clang] Ensure correct parameters are in the scope for
const
https://github.com/zyn0217 commented:
Why doesn't C++20 below suffer from the issue?
I think it's a waste to add a Sema scope object just for diagnostic issues.
It's more like that there's an underlying issue that would be otherwise hidden
by the patch. Can you explore?
https://github.com/ll
https://github.com/zyn0217 created
https://github.com/llvm/llvm-project/pull/147463
We were using the lexical DC as the starting point of template argument
collection when comparing declarations. This caused an issue that template
arguments from out-of-line declarations are ignored when substi
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/147463
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 ready_for_review
https://github.com/llvm/llvm-project/pull/147463
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 created
https://github.com/llvm/llvm-project/pull/147675
We copy arguments from different template parameter lists depending on the
deducibility of the template parameters. In particular, we may lose the default
template argument from the original alias declaration,
@@ -1088,6 +1088,9 @@ void CXXNameMangler::mangleNameWithAbiTags(GlobalDecl GD,
return;
}
+ while (DC->isRequiresExprBody())
+DC = DC->getParent();
zyn0217 wrote:
We had a similar while loop in TransformLambdaExpr, is that still needed?
Also I was
@@ -1078,15 +1078,19 @@ static bool
CheckFunctionConstraintsWithoutInstantiation(
// template. We need the entire list, since the constraint is completely
// uninstantiated at this point.
- // FIXME: Add TemplateArgs through the 'Innermost' parameter once
- // the refac
https://github.com/zyn0217 edited
https://github.com/llvm/llvm-project/pull/147894
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/147894
>From 17e42982fc947dccfc724ee6de6cf93fa8de3222 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Thu, 10 Jul 2025 13:26:09 +0800
Subject: [PATCH 1/2] [Clang] Fix the template argument collection after
CWG2369
@@ -1061,15 +1061,36 @@ BuildDeductionGuideForTypeAlias(Sema &SemaRef,
SmallVector DeduceResults(
F->getTemplateParameters()->size());
+ // We don't have to deduce against the alias template specialization,
+ // if the source template is a synthesized alias deduction
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/147675
>From f8b1894ad39560edb5bb0c14194a3a2d54a911ff Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Wed, 9 Jul 2025 16:29:45 +0800
Subject: [PATCH 1/3] [Clang] Consider default template arguments when
synthesizing
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/147675
>From f8b1894ad39560edb5bb0c14194a3a2d54a911ff Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Wed, 9 Jul 2025 16:29:45 +0800
Subject: [PATCH 1/2] [Clang] Consider default template arguments when
synthesizing
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/147894
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -1061,15 +1061,36 @@ BuildDeductionGuideForTypeAlias(Sema &SemaRef,
SmallVector DeduceResults(
F->getTemplateParameters()->size());
+ // We don't have to deduce against the alias template specialization,
+ // if the source template is a synthesized alias deduction
https://github.com/zyn0217 created
https://github.com/llvm/llvm-project/pull/147894
Since the function template isn't instantiated before constraint checking,
we'll not be able to find the outer template arguments through function
specialization when evaluating the inner constraint that is nes
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/147894
>From 17e42982fc947dccfc724ee6de6cf93fa8de3222 Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Thu, 10 Jul 2025 13:26:09 +0800
Subject: [PATCH] [Clang] Fix the template argument collection after CWG2369
Since
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/147675
>From f8b1894ad39560edb5bb0c14194a3a2d54a911ff Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Wed, 9 Jul 2025 16:29:45 +0800
Subject: [PATCH] [Clang] Consider default template arguments when synthesizing
CTA
zyn0217 wrote:
Given the scale of the patch, it's not surprising if it undergoes some
revert-reapplies cycles after the initial commit.
To reduce the churn, would it be possible to ask google to test it internally
before we merge? @AaronBallman
https://github.com/llvm/llvm-project/pull/14783
https://github.com/zyn0217 approved this pull request.
https://github.com/llvm/llvm-project/pull/149272
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/zyn0217 updated
https://github.com/llvm/llvm-project/pull/149264
>From 728de4d995079208605879a0ec30e8f76fe5220c Mon Sep 17 00:00:00 2001
From: Younan Zhang
Date: Thu, 17 Jul 2025 14:17:02 +0800
Subject: [PATCH 1/2] [Clang] Ensure correct parameters are in the scope for
const
zyn0217 wrote:
@tstellar Thanks for letting us know. Do you have a reduced version? Even just
compling that reproducer on my machine takes ~30s so it's hard for me to run
cvise
https://github.com/llvm/llvm-project/pull/143096
___
cfe-commits mailing
https://github.com/zyn0217 closed
https://github.com/llvm/llvm-project/pull/149264
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
2001 - 2066 of 2066 matches
Mail list logo
