Author: Matheus Izvekov
Date: 2025-05-29T11:43:19-03:00
New Revision: 7759bb57c24390797ee34fa58a5e1234f5aa9369
URL:
https://github.com/llvm/llvm-project/commit/7759bb57c24390797ee34fa58a5e1234f5aa9369
DIFF:
https://github.com/llvm/llvm-project/commit/7759bb57c24390797ee34fa58a5e1234f5aa9369.dif
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/141957
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/141957
When performing overload resolution during code completion, clang will allow
incomplete substitutions in more places than would be allowed for valid code,
because for completion to work well, it needs clang to
https://github.com/mizvekov approved this pull request.
https://github.com/llvm/llvm-project/pull/137806
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/136162
They will be built with the just built clang either way. This avoids building
the runtimes twice when LLDB is also tested.
>From cb827a1a19380f47213e5f2bafc32a5a8a9f32fe Mon Sep 17 00:00:00 2001
From: Matheus
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/136158
>From cfb1035622f1530a2c981a47c49dcae01309b617 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Thu, 17 Apr 2025 13:31:32 -0300
Subject: [PATCH] [ci] add dependencies for lldb python binding tests
Add corr
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/136158
Add correct configuration and dependencies for LLDB testing which is actually
relevant for clang changes.
>From 20f393ed197d31619d169740afa4adae3393d26b Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Th
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/136157
Make sure any generated clang reproducers end up as artifacts.
>From 3f62c811580c82ead2cb227c4af1a6a5df93c576 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Thu, 17 Apr 2025 13:20:07 -0300
Subject: [PATC
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/136156
Set up llvm-symbolizer environment variable so that its preferred over any
symbolizer just built, as it can be much slower when built for debugging.
>From ae4da1886cd2af4c6ac0dc283fcf735ad992b566 Mon Sep 17 00
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/135630
>From fbe0a6651e8e506a25f0f16d34f3995f138d15ba Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 14 Apr 2025 11:56:01 -0300
Subject: [PATCH] Draft: test
With change:
1) 4m46s -
https://buildkite.com/l
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/135630
>From 99af05b3d8227ffe9a43e67e700d3850e6bec665 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 14 Apr 2025 11:56:01 -0300
Subject: [PATCH] Draft: test
With change:
1) 4m46s -
https://buildkite.com/l
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/135630
None
>From e0418788c2384e1d7bd190baa52b9bfc0035ec2f Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 14 Apr 2025 11:56:01 -0300
Subject: [PATCH] Draft: test
---
lldb/DELETE.ME | 0
1 file changed, 0
@@ -33,6 +33,8 @@ function at-exit {
mkdir -p artifacts
ccache --print-stats > artifacts/ccache_stats.txt
+ cp "${BUILD_DIR}"/.ninja_log artifacts/.ninja_log
+ ls artifacts/
mizvekov wrote:
Should include hidden files, since we are uploading these too a
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/135133
>From e8ab5ff779bc00ff6a239f0acea8182c69cb7bcc Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Thu, 10 Apr 2025 02:52:36 -0300
Subject: [PATCH] [clang] implement printing of canonical template arguments of
@@ -1357,6 +1357,8 @@ void
TextNodeDumper::VisitTemplateExpansionTemplateArgument(
void TextNodeDumper::VisitExpressionTemplateArgument(
const TemplateArgument &TA) {
OS << " expr";
+ if (TA.isCanonicalExpr())
+OS << " canon";
mizvekov wrote:
Done
@@ -1305,9 +1305,13 @@ void StmtPrinter::VisitDeclRefExpr(DeclRefExpr *Node) {
Qualifier->print(OS, Policy);
if (Node->hasTemplateKeyword())
OS << "template ";
+
+ bool ForceAnonymous =
+ Policy.PrintAsCanonical && VD->getKind() == Decl::NonTypeTemplateParm;
---
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/135133
This patch extends the canonicalization printing policy to cover expressions
and template names, and wires that up to the template argument printer,
covering expressions.
This is helpful for debugging, or if
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/132442
This implements an additional user of the resugaring transform: the pattern of
template type aliases.
For more details and discussion see:
https://discourse.llvm.org/t/rfc-improving-diagnostics-with-template-s
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132441
>From 0793555771f9855a12c267eb4f2de1341a8556d1 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - TypeDecl
This i
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132447
>From 6b9e8d13fa1bd6a6583eab3eef74833b023f1d06 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Fri, 14 Mar 2025 19:41:38 -0300
Subject: [PATCH] [clang] resugar decltype of DeclRefExpr
This keeps around th
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/133190
>From 65a4c47a81e9e294f5d3c8f1afbe1f9036ac8e4b Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Wed, 26 Mar 2025 18:38:34 -0300
Subject: [PATCH] [clang] support pack expansions for trailing requires clauses
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132442
>From 9d5d42820a4998e0e3eb74f7301aa34dca55b890 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - Template Type
A
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132447
>From 0a363317b9ac02a6a6e2f70e805223bdb135fed3 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Fri, 14 Mar 2025 19:41:38 -0300
Subject: [PATCH] [clang] resugar decltype of DeclRefExpr
This keeps around th
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132447
>From 0a363317b9ac02a6a6e2f70e805223bdb135fed3 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Fri, 14 Mar 2025 19:41:38 -0300
Subject: [PATCH] [clang] resugar decltype of DeclRefExpr
This keeps around th
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132446
>From df203b5f1795b8e2baebf40cea9ccfc1b19f2ea7 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] WIP: [clang] Template Specialization Resugaring - Expressions
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132442
>From 900a26a5e2a64a8c12c7cd593e957eb9148091b1 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - Template Type
A
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132441
>From a010f379019906ebe8e05153810cc47d1cd64e5c Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - TypeDecl
This i
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132442
>From 900a26a5e2a64a8c12c7cd593e957eb9148091b1 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - Template Type
A
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132441
>From a010f379019906ebe8e05153810cc47d1cd64e5c Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - TypeDecl
This i
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132448
>From ad1ef07c4034404dadd7d8798c55af053f1dcd05 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sun, 16 Mar 2025 13:44:04 -0300
Subject: [PATCH] [clang] resugar decltype of MemberExpr
This keeps around the
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132446
>From df203b5f1795b8e2baebf40cea9ccfc1b19f2ea7 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] WIP: [clang] Template Specialization Resugaring - Expressions
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132448
>From ad1ef07c4034404dadd7d8798c55af053f1dcd05 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sun, 16 Mar 2025 13:44:04 -0300
Subject: [PATCH] [clang] resugar decltype of MemberExpr
This keeps around the
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132446
>From d226c8d46bda83e50de2b6fc1e9887251728b7b4 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] WIP: [clang] Template Specialization Resugaring - Expressions
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132448
>From 022799a62f0c3018168db688ee234c9bda208d12 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sun, 16 Mar 2025 13:44:04 -0300
Subject: [PATCH] [clang] resugar decltype of MemberExpr
This keeps around the
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132442
>From 9d5d42820a4998e0e3eb74f7301aa34dca55b890 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - Template Type
A
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132447
>From 6b9e8d13fa1bd6a6583eab3eef74833b023f1d06 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Fri, 14 Mar 2025 19:41:38 -0300
Subject: [PATCH] [clang] resugar decltype of DeclRefExpr
This keeps around th
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132441
>From 0793555771f9855a12c267eb4f2de1341a8556d1 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - TypeDecl
This i
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132448
>From 022799a62f0c3018168db688ee234c9bda208d12 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sun, 16 Mar 2025 13:44:04 -0300
Subject: [PATCH] [clang] resugar decltype of MemberExpr
This keeps around the
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132446
>From d226c8d46bda83e50de2b6fc1e9887251728b7b4 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] WIP: [clang] Template Specialization Resugaring - Expressions
@@ -13343,28 +13344,25 @@ class Sema final : public SemaBase {
/// The current index into pack expansion arguments that will be
/// used for substitution of parameter packs.
///
- /// The pack expansion index will be -1 to indicate that parameter packs
+ /// The pack ex
@@ -78,6 +78,22 @@ class UnresolvedSetImpl;
class VarTemplateDecl;
enum class ImplicitParamKind;
+// Holds a constraint expression along with a pack expansion index, if
+// expanded.
+struct AssociatedConstraint {
+ const Expr *ConstraintExpr = nullptr;
+ int ArgumentPackSub
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/133190
>From d6c84d34e82578a69a914015cdfeaa7dfd3889c8 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Wed, 26 Mar 2025 18:38:34 -0300
Subject: [PATCH] [clang] support pack expansions for trailing requires clauses
@@ -7379,8 +7378,11 @@ bool ASTContext::isSameEntity(const NamedDecl *X, const
NamedDecl *Y) const {
return false;
}
-if (!isSameConstraintExpr(FuncX->getTrailingRequiresClause(),
mizvekov wrote:
Minor preference for not doing that at this poin
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/133190
>From 1ee94ea392f1b1a46eba9fe031bf3523e1840a09 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Wed, 26 Mar 2025 18:38:34 -0300
Subject: [PATCH] [clang] support pack expansions for trailing requires clauses
mizvekov wrote:
@zwuis thanks for finding these.
I removed that assertion because it was not relevant anymore at that point
where it existed.
However, we should still not have an ElaboratedType in a NestedNameSpecifier,
although this patch moves us in the direction where that will not be the
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/133610
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132748
>From 2d4717492599f445975019339024e2d1bc02128f Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sat, 22 Mar 2025 16:03:04 -0300
Subject: [PATCH 1/4] [clang] Track final substitution for
SubstTemplateTempla
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/132446
This adds some additional users of the resugaring transform, around
expressions. This makes function calls work for example.
While probably not the largest patch in the series, this could use some further
spl
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/133190
>From bb164f3a8c86282ff6cb317ff10df21b33b11520 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Wed, 26 Mar 2025 18:38:34 -0300
Subject: [PATCH] [clang] support pack expansions for trailing requires clauses
mizvekov wrote:
Actually the current users of the implicit conversion are not good at all, will
fix them instead.
https://github.com/llvm/llvm-project/pull/133190
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.ll
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132748
>From c5e50089af34acdb807680cf80576ca03ff1715f Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sat, 22 Mar 2025 16:03:04 -0300
Subject: [PATCH 1/4] [clang] Track final substitution for
SubstTemplateTempla
@@ -265,14 +265,14 @@ int k9 = f9(V9());
// CHECK-ELIDE-TREE: S9<
// CHECK-ELIDE-TREE: [2 * ...],
// CHECK-ELIDE-TREE: U9<
-// CHECK-ELIDE-TREE: [(no qualifiers) != const] double>>
mizvekov wrote:
Yeah, with the Subst type node, you get differe
mizvekov wrote:
FYI @ymand @jvoung
https://github.com/llvm/llvm-project/pull/132748
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/132748
This patch re-adds Subst* nodes for 'Final' substitutions, adding a bit to
these nodes to differentiate them from non-Final ones, which for example helps
track forward progress in resugaring.
This was origina
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132442
>From 67a09813823003681954b0fa9adeeb834ec4e576 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - Template Type
A
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132447
>From 29cc63d882332f4c476388a8817def7de564ad4b Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Fri, 14 Mar 2025 19:41:38 -0300
Subject: [PATCH] [clang] resugar decltype of DeclRefExpr
This keeps around th
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132441
>From 4571fada1ea055a845bf5c4eb3d1a20904f768c6 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] [clang] Template Specialization Resugaring - TypeDecl
This i
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/132441
This is the introductory patch for a larger work which intends to solve the
long standing C++ issue with losing type sugar when acessing template
specializations.
The well known example here is specializing a
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132448
>From e97d04ecc7c72488f83c5cd63f8ea7f44c2bcf68 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sun, 16 Mar 2025 13:44:04 -0300
Subject: [PATCH] [clang] resugar decltype of MemberExpr
This keeps around the
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/132446
>From 002480bdc8dc64f22d6abaefcfc46914cc5ba093 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 30 May 2022 01:46:31 +0200
Subject: [PATCH] WIP: [clang] Template Specialization Resugaring - Expressions
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/132448
This keeps around the resugared DeclType for MemberExpr, which is otherwise
partially lost as the expression type removes top level references.
This helps 'decltype' resugaring work without any loss of informa
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/132447
This keeps around the resugared DeclType for DeclRefExpr, which is otherwise
partially lost as the expression type removes top level references.
This helps 'decltype' resugaring work without any loss of inform
mizvekov wrote:
Gentle Ping
https://github.com/llvm/llvm-project/pull/130950
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/130950
>From cf7da0c6d589fc349e357fc05aae85bf457ff6c1 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sat, 8 Mar 2025 20:32:14 -0300
Subject: [PATCH] [clang] fix matching of nested template template parameters
W
mizvekov wrote:
It complains about missing third-party header "fmt/format.h".
Even after figuring out what that is and installing it, I can't get your
project to build on a known-good compiler.
I am not asking for a reduced reproducer, just a preprocessed one. You can do
that by appending "-ge
mizvekov wrote:
@FireBurn does it work on the main branch, but not on this branch?
You can see this PR includes a test case for GH130362, so maybe if you tested
everything right, you have a different bug in your hands?
Can you try the reduced example yourself?
https://github.com/llvm/llvm-pro
mizvekov wrote:
Yeah that's the reduced example for the issue this PR solves.
https://github.com/llvm/llvm-project/pull/130950
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/130950
>From 88143ce2f76b2022b39612ee508da5cd8fa879eb Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sat, 8 Mar 2025 20:32:14 -0300
Subject: [PATCH] [clang] fix matching of nested template template parameters
W
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/130950
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/130950
When checking the template template parameters of template template parameters,
the PartialOrdering context was not correctly propagated.
This also has a few drive-by fixes, such as checking the template param
https://github.com/mizvekov milestoned
https://github.com/llvm/llvm-project/pull/130950
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -1018,9 +1019,9 @@ namespace cwg62 { // cwg62: 2.9
struct A {
struct { int n; } b;
};
- template struct X {};
- template T get() { return get(); }
- template int take(T) { return 0; }
+ template struct X {}; // cxx98-note 6{{template parameter is
declared here}}
@@ -1018,9 +1019,9 @@ namespace cwg62 { // cwg62: 2.9
struct A {
struct { int n; } b;
};
- template struct X {};
- template T get() { return get(); }
- template int take(T) { return 0; }
+ template struct X {}; // cxx98-note 6{{template parameter is
declared here}}
@@ -1018,9 +1019,9 @@ namespace cwg62 { // cwg62: 2.9
struct A {
struct { int n; } b;
};
- template struct X {};
- template T get() { return get(); }
- template int take(T) { return 0; }
+ template struct X {}; // cxx98-note 6{{template parameter is
declared here}}
@@ -1018,9 +1019,9 @@ namespace cwg62 { // cwg62: 2.9
struct A {
struct { int n; } b;
};
- template struct X {};
- template T get() { return get(); }
- template int take(T) { return 0; }
+ template struct X {}; // cxx98-note 6{{template parameter is
declared here}}
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/12
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/12
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/12
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -1018,9 +1019,9 @@ namespace cwg62 { // cwg62: 2.9
struct A {
struct { int n; } b;
};
- template struct X {};
- template T get() { return get(); }
- template int take(T) { return 0; }
+ template struct X {}; // cxx98-note 6{{template parameter is
declared here}}
@@ -1909,7 +1909,22 @@ class Sema final : public SemaBase {
/// '\#pragma clang attribute push' directives to the given declaration.
void AddPragmaAttributes(Scope *S, Decl *D);
- void PrintPragmaAttributeInstantiationPoint();
+ using DiagFuncRef =
+ llvm::function_
mizvekov wrote:
Closing as this needs manual rebase.
https://github.com/llvm/llvm-project/pull/127779
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov milestoned
https://github.com/llvm/llvm-project/pull/127831
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov closed
https://github.com/llvm/llvm-project/pull/127779
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
mizvekov wrote:
This is a cherry-pick of https://github.com/llvm/llvm-project/pull/125266 into
the 20.x release branch.
https://github.com/llvm/llvm-project/pull/12
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://li
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/12
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/12
… (#125266)
This fixes instantiation of definition for friend function templates, when the
declaration found and the one containing the definition have different template
contexts.
In these cases, the the fu
https://github.com/mizvekov milestoned
https://github.com/llvm/llvm-project/pull/12
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov approved this pull request.
https://github.com/llvm/llvm-project/pull/126289
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -637,6 +641,8 @@ namespace cwg431 { // cwg431: 2.8
namespace cwg432 { // cwg432: 3.0
template struct A {};
+ // expected-note@-1{{template parameter is declared here}}
+ // since-cxx11-note@-2 {{template parameter is declared here}}
mizvekov wrote:
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/126088
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/126088
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
mizvekov wrote:
> (Did you mean `Implement *instantiation* context for checking template
> parameters`?)
Oops, yes of course :)
https://github.com/llvm/llvm-project/pull/126088
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
h
mizvekov wrote:
All rebased, it's back to being a god-fearing all around NFC PR :)
https://github.com/llvm/llvm-project/pull/125418
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/
https://github.com/mizvekov edited
https://github.com/llvm/llvm-project/pull/125418
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
@@ -1842,19 +1842,19 @@ class ClassTemplateSpecializationDecl : public
CXXRecordDecl,
unsigned SpecializationKind : 3;
/// Indicate that we have matched a parameter pack with a non pack
- /// argument, when the opposite match is also allowed (strict pack match).
+ /// a
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/125418
>From f558c5838c48e47b62d3d0a3b5118c96d9ff47ec Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Sun, 2 Feb 2025 13:31:20 -0300
Subject: [PATCH] [clang] NFC: rename MatchedPackOnParmToNonPackOnArg to
Strict
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/125418
This rename follows the proposed wording in P3310R5, which introduces the term
'strict pack match' to refer to the same thing.
>From 772973a841ad739172a9f23bc1403924eea4cba8 Mon Sep 17 00:00:00 2001
From: Math
https://github.com/mizvekov updated
https://github.com/llvm/llvm-project/pull/124668
>From db745bb131582139f29d471636cebeb78f25fb1c Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 27 Jan 2025 19:18:27 -0300
Subject: [PATCH] [clang] NFC: cleanup check template argument
---
clang/incl
https://github.com/mizvekov created
https://github.com/llvm/llvm-project/pull/124668
None
>From 4387c95a4bd6ccfc74e95683da0829fde41560c1 Mon Sep 17 00:00:00 2001
From: Matheus Izvekov
Date: Mon, 27 Jan 2025 19:18:27 -0300
Subject: [PATCH] [clang] NFC: cleanup check template argument
---
clan
@@ -5252,63 +5253,73 @@ bool Sema::CheckTemplateArgument(
return true;
}
-switch (Arg.getArgument().getKind()) {
-case TemplateArgument::Null:
- llvm_unreachable("Should never see a NULL template argument here");
-
-case TemplateArgument::Expressio
1 - 100 of 185 matches
Mail list logo
