P0624R2 - Default constructible and assignable stateless lambdas

	P0624R2 - Default constructible and assignable stateless lambdas
	* method.c (synthesized_method_walk): For C++2a don't mark
	sfk_constructor or sfk_copy_assignment as deleted if lambda has
	no lambda-captures.

	* g++.dg/cpp2a/lambda1.C: New test.
	* g++.dg/cpp0x/lambda/lambda-ice2.C: Adjust expected diagnostics
	for -std=c++2a.

From-SVN: r261605

3 files changed, 70 insertions, 5 deletions

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ecf6554..92bc519 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2018-06-14  Jakub Jelinek  <jakub@redhat.com>
+
+	P0624R2 - Default constructible and assignable stateless lambdas
+	* g++.dg/cpp2a/lambda1.C: New test.
+	* g++.dg/cpp0x/lambda/lambda-ice2.C: Adjust expected diagnostics
+	for -std=c++2a.
+
 2018-06-14  Paolo Carlini  <paolo.carlini@oracle.com>
 
 	* g++.dg/other/static3.C: New.
diff --git a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice2.C b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice2.C
index 702f18f..a78688a 100644
--- a/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice2.C
+++ b/gcc/testsuite/g++.dg/cpp0x/lambda/lambda-ice2.C
@@ -2,15 +2,15 @@
 // { dg-do compile { target c++11 } }
 
 template<typename F>
-decltype(F()) run(F f) // { dg-message "note" }
+decltype(F()) run(F f) // { dg-message "note" "" { target c++17_down } }
 {
-  return f();
+  return f();	// { dg-error "could not convert" "" { target c++2a } }
 }
 
 int main()
 {
-  auto l = []() { return 5; }; // { dg-message "lambda closure type" }
+  auto l = []() { return 5; }; // { dg-message "lambda closure type" "" { target c++17_down } }
 
-  run(l); // { dg-error "no match" }
-  // { dg-error "use of deleted function" "candidate explanation" { target *-*-* } 5 }
+  run(l); // { dg-error "no match" "" { target c++17_down } }
+  // { dg-error "use of deleted function" "candidate explanation" { target c++17_down } 5 }
 }
diff --git a/gcc/testsuite/g++.dg/cpp2a/lambda1.C b/gcc/testsuite/g++.dg/cpp2a/lambda1.C
new file mode 100644
index 0000000..245b10c
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp2a/lambda1.C
@@ -0,0 +1,58 @@
+// P0624R2
+// { dg-do compile { target c++11 } }
+
+#if __cplusplus >= 201402L
+#define A auto
+#else
+#define A int
+#endif
+
+void
+f1 ()
+{
+  auto greater = [](A x, A y) { return x > y; };	// { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" "" { target c++17_down } }
+  decltype (greater) gt;	// { dg-error "use of deleted function" "" { target c++17_down } }
+  gt = greater;			// { dg-error "use of deleted function" "" { target c++17_down } }
+}
+
+void
+f2 ()
+{
+  auto greater = [&](A x, A y) { return x > y; };	// { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" }
+  decltype (greater) gt;	// { dg-error "use of deleted function" }
+  gt = greater;			// { dg-error "use of deleted function" }
+}
+
+void
+f3 ()
+{
+  auto greater = [=](A x, A y) { return x > y; };	// { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" }
+  decltype (greater) gt;	// { dg-error "use of deleted function" }
+  gt = greater;			// { dg-error "use of deleted function" }
+}
+
+void
+f4 (int i)
+{
+  auto greater = [i](A x, A y) { return x > y; };	// { dg-message "a lambda closure type has a deleted (default constructor|copy assignment operator)" }
+  decltype (greater) gt;	// { dg-error "use of deleted function" }
+  gt = greater;			// { dg-error "use of deleted function" }
+}
+
+#if __cplusplus > 201703L
+void
+f5 ()
+{
+  auto greater = [](auto x, auto y) constexpr { return x > y; };
+  decltype (greater) gt;
+  static_assert (!gt (1, 2));
+  static_assert (gt (4, 3));
+  static_assert (!gt (3.5, 3.75));
+  static_assert (gt (3.5, 3.25));
+  gt = greater;
+  static_assert (!gt (1, 2));
+  static_assert (gt (4, 3));
+  static_assert (!gt (3.5, 3.75));
+  static_assert (gt (3.5, 3.25));
+}
+#endif