aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2025-08-24 05:15:01 -0400
committerJason Merrill <jason@redhat.com>2025-08-28 17:50:06 +0200
commit00e8690ef0d7ac1ced87ceee309dbfa27909a35c (patch)
tree7bc780fa1791b7c9f62c3abe19dad15d599d2831
parent6750f5902c600907a56b9a72b4bae7d9762515c9 (diff)
downloadgcc-00e8690ef0d7ac1ced87ceee309dbfa27909a35c.zip
gcc-00e8690ef0d7ac1ced87ceee309dbfa27909a35c.tar.gz
gcc-00e8690ef0d7ac1ced87ceee309dbfa27909a35c.tar.bz2
c++: > in lambda in template arg [PR107953]
As with PR116928, we need to set greater_than_is_operator_p within the lambda delimiters. PR c++/107953 gcc/cp/ChangeLog: * parser.cc (cp_parser_lambda_expression): Set greater_than_is_operator_p. gcc/testsuite/ChangeLog: * g++.dg/cpp2a/lambda-targ18.C: New test.
-rw-r--r--gcc/cp/parser.cc2
-rw-r--r--gcc/testsuite/g++.dg/cpp2a/lambda-targ18.C13
2 files changed, 15 insertions, 0 deletions
diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc
index 0d45ab4..9f9bd56 100644
--- a/gcc/cp/parser.cc
+++ b/gcc/cp/parser.cc
@@ -11806,6 +11806,8 @@ cp_parser_lambda_expression (cp_parser* parser,
it now. */
push_deferring_access_checks (dk_no_deferred);
+ auto gr = make_temp_override (parser->greater_than_is_operator_p, true);
+
if (!consteval_block_p)
{
cp_parser_lambda_introducer (parser, lambda_expr);
diff --git a/gcc/testsuite/g++.dg/cpp2a/lambda-targ18.C b/gcc/testsuite/g++.dg/cpp2a/lambda-targ18.C
new file mode 100644
index 0000000..d4011f3
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/lambda-targ18.C
@@ -0,0 +1,13 @@
+// PR c++/107953
+// { dg-do compile { target c++20 } }
+
+template<auto F>
+struct Foo {};
+
+Foo<[](){ return 1 >= 0; }> foo1{};
+
+Foo<[](){ return (1 > 0); }> foo2{};
+
+Foo<[](){ return 1 > 0; }> foo3{};
+
+Foo<[g = 1 > 0]{ return g; }> foo4{};