From 379d4cf94031bd16f01226647cda41ff9387d0a0 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 22 Jun 2018 23:04:25 +0200 Subject: [PATCH] backport: re PR c++/85147 (ICE with invalid variadic template-template parameter) Backported from mainline 2018-04-03 Jakub Jelinek PR c++/85147 * pt.c (fixed_parameter_pack_p_1): Punt if parm is error_mark_node. * g++.dg/cpp0x/pr85147.C: New test. From-SVN: r261945 --- gcc/cp/ChangeLog | 3 +++ gcc/cp/pt.c | 2 +- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/g++.dg/cpp0x/pr85147.C | 9 +++++++++ 4 files changed, 16 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/cpp0x/pr85147.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index b21322cb5494..062384e41156 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -3,6 +3,9 @@ Backported from mainline 2018-04-03 Jakub Jelinek + PR c++/85147 + * pt.c (fixed_parameter_pack_p_1): Punt if parm is error_mark_node. + PR c++/85140 * name-lookup.c (handle_namespace_attrs): Return early if attributes is error_mark_node. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index b9189d3fe934..5e79bc90af5d 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -4864,7 +4864,7 @@ static void fixed_parameter_pack_p_1 (tree parm, struct find_parameter_pack_data *ppd) { /* A type parm can't refer to another parm. */ - if (TREE_CODE (parm) == TYPE_DECL) + if (TREE_CODE (parm) == TYPE_DECL || parm == error_mark_node) return; else if (TREE_CODE (parm) == PARM_DECL) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e7fbda1082ae..84abc4f8e37e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -3,6 +3,9 @@ Backported from mainline 2018-04-03 Jakub Jelinek + PR c++/85147 + * g++.dg/cpp0x/pr85147.C: New test. + PR c++/85140 * g++.dg/cpp0x/gen-attrs-64.C: New test. diff --git a/gcc/testsuite/g++.dg/cpp0x/pr85147.C b/gcc/testsuite/g++.dg/cpp0x/pr85147.C new file mode 100644 index 000000000000..68c0022d80a0 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/pr85147.C @@ -0,0 +1,9 @@ +// PR c++/85147 +// { dg-do compile { target c++11 } } + +template struct A +{ + template class...> struct B {}; // { dg-error "expected|mismatch" } +}; + +A::B<> b; // { dg-error "does not name a template type" } -- 2.47.2