aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaolo Carlini <paolo.carlini@oracle.com>2018-05-17 09:17:56 +0000
committerPaolo Carlini <paolo@gcc.gnu.org>2018-05-17 09:17:56 +0000
commit9b4ef22db8686405929f0ae039683c535fd79c22 (patch)
treee275eaff5784c2f053d92996ebdd461ae446ab78
parent74b2bb19f37e4deeff97924564d460f8689ac02e (diff)
downloadgcc-9b4ef22db8686405929f0ae039683c535fd79c22.zip
gcc-9b4ef22db8686405929f0ae039683c535fd79c22.tar.gz
gcc-9b4ef22db8686405929f0ae039683c535fd79c22.tar.bz2
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
-rw-r--r--gcc/testsuite/ChangeLog7
-rw-r--r--gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C7
2 files changed, 13 insertions, 1 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index ce6ff7e..f360067 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 0000000..8fb8dfd
--- /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" }