https://github.com/MitalAshok updated
https://github.com/llvm/llvm-project/pull/90353
>From d983badd09dcc227f5945f4b4759214b7b6adbf5 Mon Sep 17 00:00:00 2001
From: Mital Ashok
Date: Fri, 26 Jul 2024 08:44:19 +0100
Subject: [PATCH 1/5] [Clang] Qualified functions can't decay into pointers
---
@@ -71,6 +76,17 @@ namespace cwg712 { // cwg712: partial
#endif
}
+namespace cwg713 { // cwg713: yes
+static_assert(!__is_const(void()const), "");
+static_assert(!__is_const(void()const&), "");
+// cxx98-error@-1 {{reference qualifiers on functions are a C++11 extension}}
@@ -71,6 +76,17 @@ namespace cwg712 { // cwg712: partial
#endif
}
+namespace cwg713 { // cwg713: yes
Endilll wrote:
Please, run your test through various Clang versions before claiming
availability. In this case, this is rejected by 18, but accepted on trunk
https://github.com/Endilll commented:
Current CWG713 behavior was introduced sometime after Clang 18, and is not
affected by this patch.
Current CWG1584 behavior was introduced in Clang 7, and is also not affected by
this patch. (https://godbolt.org/z/xYec9rP5x)
This PR is large enough already.
https://github.com/Endilll edited
https://github.com/llvm/llvm-project/pull/90353
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
https://github.com/MitalAshok updated
https://github.com/llvm/llvm-project/pull/90353
>From d983badd09dcc227f5945f4b4759214b7b6adbf5 Mon Sep 17 00:00:00 2001
From: Mital Ashok
Date: Fri, 26 Jul 2024 08:44:19 +0100
Subject: [PATCH 1/4] [Clang] Qualified functions can't decay into pointers
---
MitalAshok wrote:
> https://cplusplus.github.io/CWG/issues/713.html
This one is entirely editorial: it adds a note and edits another note. I've
added a test for what the note says
> https://cplusplus.github.io/CWG/issues/1417.html
I'm not sure that this DR actually changes anything. It seems
https://github.com/cor3ntin edited
https://github.com/llvm/llvm-project/pull/90353
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
@@ -15071,6 +15071,13 @@ ParmVarDecl *Sema::CheckParameter(DeclContext *DC,
SourceLocation StartLoc,
T = Context.getLifetimeQualifiedType(T, lifetime);
}
+ if (T->isFunctionType() && !T.isReferenceable()) {
+Diag(NameLoc, diag::err_compound_qualified_function_type)
https://github.com/cor3ntin commented:
Thanks!
I think the general approach makes sense
There are a few DR that might be worth mentioning/add tests for/look into
https://cplusplus.github.io/CWG/issues/713.html
https://cplusplus.github.io/CWG/issues/1417.html
https://cplusplus.github.io/CWG/issu
https://github.com/MitalAshok updated
https://github.com/llvm/llvm-project/pull/90353
>From b81ffefb52981276b70570f878e3e75e30a49fbb Mon Sep 17 00:00:00 2001
From: Mital Ashok
Date: Sat, 27 Apr 2024 19:15:00 +0100
Subject: [PATCH] [Clang] Qualified functions can't decay into pointers
---
clan
https://github.com/MitalAshok updated
https://github.com/llvm/llvm-project/pull/90353
>From c6cd95926b0de2687f56a4966ebb5babd30ba33f Mon Sep 17 00:00:00 2001
From: Mital Ashok
Date: Sat, 27 Apr 2024 19:15:00 +0100
Subject: [PATCH] [Clang] Qualified functions can't decay into pointers
Fixes #27
https://github.com/MitalAshok updated
https://github.com/llvm/llvm-project/pull/90353
>From 73f6c4ee69399011a781a61283316efd491b3d28 Mon Sep 17 00:00:00 2001
From: Mital Ashok
Date: Sat, 27 Apr 2024 19:15:00 +0100
Subject: [PATCH] [SemaCXX] Qualified functions can't decay into pointers
Fixes #
https://github.com/MitalAshok edited
https://github.com/llvm/llvm-project/pull/90353
___
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
14 matches
Mail list logo