re PR c++/78018 ([C++14] "internal compiler error: Segmentation fault" with templates...

2017-10-04  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/78018
	* g++.dg/cpp1y/lambda-generic-78018.C: New.

From-SVN: r253430

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 8e00f32..6e8680b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,4 +1,9 @@
 2017-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/78018
+       * g++.dg/cpp1y/lambda-generic-78018.C: New.
+
+2017-10-04  Paolo Carlini  <paolo.carlini@oracle.com>
            Andrew Pinski  <apinski@cavium.com>
 
        PR c++/71946

diff --git a/gcc/testsuite/g++.dg/cpp1y/lambda-generic-78018.C b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-78018.C
new file mode 100644 (file)
index 0000000..6cf9c59
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-78018.C
@@ -0,0 +1,37 @@
+// PR c++/78018
+// { dg-do compile { target c++14 } }
+
+struct A
+{
+    void f1();
+
+    template <typename F>
+    void f2(F f);
+
+    template<typename T>
+    void f3(T t);
+};
+
+struct B
+{
+    template<typename L>
+    void f(L) { }
+};
+
+void A::f1()
+{
+    f2([&] (auto t) { f3(t); } );
+}
+
+template <typename F>
+void A::f2(F f)
+{
+    B b;
+    f(b);
+}
+
+template<typename T>
+void A::f3(T t)
+{
+}
+