diff options
| author | Jason Merrill <jason@redhat.com> | 2019-01-11 17:37:01 -0500 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2019-01-11 17:37:01 -0500 |
| commit | 3ddf08b3b8ed5b0b0fe6c930eefb97228ae80caa (patch) | |
| tree | 79ac403b7b8cb231d4148185b3ab27c1e2a4b55d /gcc | |
| parent | f43e0585fab95e5cc2efac9aa26a8b74eeffbd71 (diff) | |
| download | gcc-3ddf08b3b8ed5b0b0fe6c930eefb97228ae80caa.zip gcc-3ddf08b3b8ed5b0b0fe6c930eefb97228ae80caa.tar.gz gcc-3ddf08b3b8ed5b0b0fe6c930eefb97228ae80caa.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/cp/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/cp/pt.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/variadic-decltype1.C | 9 |
3 files changed, 17 insertions, 0 deletions
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 <jason@redhat.com> + 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 <jason@redhat.com> + 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 <class ...> struct T {}; + +template <int ...Indices> +void test() { + using Test = T<decltype((Indices, char(0)))...>; +} |