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.

diff --git a/gcc/cp/parser.cc b/gcc/cp/parser.cc
index 0d45ab4279921ccaeae17163de4e5308de53e008..9f9bd565004764c06fb366f74c53ded682c34fb5 100644 (file)
--- 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 (file)
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{};