From: Paolo Carlini <paolo.carlini@oracle.com>
Date: Thu, 17 May 2018 09:17:56 +0000 (+0000)
Subject: re PR c++/85713 (ICE in dependent_type_p, at cp/pt.c:24582 on valid code)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9b4ef22db8686405929f0ae039683c535fd79c22;p=gcc.git

re PR c++/85713 (ICE in dependent_type_p, at cp/pt.c:24582 on valid code)

2018-05-17  Paolo Carlini  <paolo.carlini@oracle.com>

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

From-SVN: r260308
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ce6ff7e69c0..f36006744f9 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
+2018-05-17  Paolo Carlini  <paolo.carlini@oracle.com>
+
+	PR c++/85713
+	* g++.dg/cpp1y/lambda-generic-85713-2.C: New.
+
 2018-05-17  Olga Makhotina  <olga.makhotina@intel.com>
-	
+
 	* gcc.target/i386/builtin_target.c: Test goldmont-plus.
 	* gcc.target/i386/funcspec-56.inc: Tests for arch=goldmont-plus.
 
diff --git a/gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C
new file mode 100644
index 00000000000..8fb8dfdeaf0
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C
@@ -0,0 +1,7 @@
+// PR c++/85713
+// { dg-do compile { target c++14 } }
+
+auto l4 = [](auto v, auto (&array (int)) [5]) -> int { return v + array[0]; };
+auto l5 = [](auto v, auto (&array (auto)) [5]) -> int { return v + array[0]; };
+auto l6 = [](auto v, auto (&array (int int)) [5]) -> int { return v + array[0]; };  // { dg-error "two or more data types" }
+auto l7 = [](auto v, auto (&array (int auto)) [5]) -> int { return v + array[0]; };  // { dg-error "two or more data types" }