In this testcase we refer to an alias template specialization where the
arguments to the alias-template are non-dependent, but some of the
arguments to the underlying class template are dependent, so we need to
check at both levels.
Tested x86_64-pc-linux-gnu, applying to trunk.
commit 574e38e1a8c6e03aced7c85e3c5f4cd9f9a1e8d1
Author: Jason Merrill <ja...@redhat.com>
Date: Tue Mar 10 12:41:29 2015 -0400
PR c++/65333
DR 1558
* pt.c (dependent_type_p_r): Check both class and alias template args.
diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c
index 9a00d0d..ea82621 100644
--- a/gcc/cp/pt.c
+++ b/gcc/cp/pt.c
@@ -20930,7 +20930,13 @@ dependent_type_p_r (tree type)
return true;
/* ... or any of the template arguments is a dependent type or
an expression that is type-dependent or value-dependent. */
- else if (TYPE_TEMPLATE_INFO (type)
+ else if (CLASS_TYPE_P (type) && CLASSTYPE_TEMPLATE_INFO (type)
+ && (any_dependent_template_arguments_p
+ (INNERMOST_TEMPLATE_ARGS (CLASSTYPE_TI_ARGS (type)))))
+ return true;
+ /* For an alias template specialization, check the arguments both to the
+ class template and the alias template. */
+ else if (alias_template_specialization_p (type)
&& (any_dependent_template_arguments_p
(INNERMOST_TEMPLATE_ARGS (TYPE_TI_ARGS (type)))))
return true;
diff --git a/gcc/testsuite/g++.dg/cpp0x/alias-decl-47.C b/gcc/testsuite/g++.dg/cpp0x/alias-decl-47.C
new file mode 100644
index 0000000..71611db
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/alias-decl-47.C
@@ -0,0 +1,13 @@
+// PR c++/65333
+// { dg-do compile { target c++11 } }
+
+template <typename T, T... Values> struct A
+{
+ using type = int;
+ template <type... Suffix> using array = A<type, Values..., Suffix...>;
+ void
+ m_fn1 ()
+ {
+ array<>::data;
+ }
+};
