From 3ddf08b3b8ed5b0b0fe6c930eefb97228ae80caa Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Fri, 11 Jan 2019 17:37:01 -0500 Subject: [PATCH] PR c++/88312 - pack expansion of decltype. The standard doesn't really talk about an expression depending on the number of elements of a pack, but that's definitely an important form of template argument dependence. * pt.c (instantiation_dependent_r): A template non-type parameter pack is instantiation-dependent. From-SVN: r267860 --- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/pt.c | 2 ++ gcc/testsuite/g++.dg/cpp0x/variadic-decltype1.C | 9 +++++++++ 3 files changed, 17 insertions(+) create mode 100644 gcc/testsuite/g++.dg/cpp0x/variadic-decltype1.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 9208f1e..0eb669b 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,11 @@ 2019-01-11 Jason Merrill + PR c++/88312 - pack expansion of decltype. + * pt.c (instantiation_dependent_r): A template non-type parameter + pack is instantiation-dependent. + +2019-01-11 Jason Merrill + PR c++/88613 - ICE with use of const var in lambda. * expr.c (mark_use): Fix location wrapper handling. * cp-gimplify.c (cp_fold_maybe_rvalue): Call mark_rvalue_use. diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 84f59a2..f062a2b 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -25736,6 +25736,8 @@ instantiation_dependent_r (tree *tp, int *walk_subtrees, case TEMPLATE_PARM_INDEX: if (dependent_type_p (TREE_TYPE (*tp))) return *tp; + if (TEMPLATE_PARM_PARAMETER_PACK (*tp)) + return *tp; /* We'll check value-dependence separately. */ return NULL_TREE; diff --git a/gcc/testsuite/g++.dg/cpp0x/variadic-decltype1.C b/gcc/testsuite/g++.dg/cpp0x/variadic-decltype1.C new file mode 100644 index 0000000..c87c6ba --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/variadic-decltype1.C @@ -0,0 +1,9 @@ +// PR c++/88555 +// { dg-do compile { target c++11 } } + +template struct T {}; + +template +void test() { + using Test = T; +} -- 2.7.4