From 9b4ef22db8686405929f0ae039683c535fd79c22 Mon Sep 17 00:00:00 2001 From: Paolo Carlini Date: Thu, 17 May 2018 09:17:56 +0000 Subject: re PR c++/85713 (ICE in dependent_type_p, at cp/pt.c:24582 on valid code) 2018-05-17 Paolo Carlini PR c++/85713 * g++.dg/cpp1y/lambda-generic-85713-2.C: New. From-SVN: r260308 --- gcc/testsuite/ChangeLog | 7 ++++++- gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C | 7 +++++++ 2 files changed, 13 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp1y/lambda-generic-85713-2.C 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 + + PR c++/85713 + * g++.dg/cpp1y/lambda-generic-85713-2.C: New. + 2018-05-17 Olga Makhotina - + * 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" } -- cgit v1.1