diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index cdbec790eef4b2a38b960be875096faef2d50361..e32c3b7e87782008d200ec21aab6bef4e2d4f6b8 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2010-11-16 Jason Merrill <jason@redhat.com> + + DR 1004 + * decl.c (make_unbound_class_template): Handle using + injected-type-name as template. + 2010-11-15 Nicola Pero <nicola.pero@meta-innovation.com> * typeck.c (cp_build_unary_op): Use diff --git a/gcc/cp/decl.c b/gcc/cp/decl.c index 714516e3336c8dd8f46ebe3822d8246187feb2bb..55e0d6a74f5d88317c818a59582713c657c8e3b4 100644 --- a/gcc/cp/decl.c +++ b/gcc/cp/decl.c @@ -3227,6 +3227,9 @@ make_unbound_class_template (tree context, tree name, tree parm_list, if (MAYBE_CLASS_TYPE_P (context)) tmpl = lookup_field (context, name, 0, false); + if (tmpl && TREE_CODE (tmpl) == TYPE_DECL) + tmpl = maybe_get_template_decl_from_type_decl (tmpl); + if (!tmpl || !DECL_CLASS_TEMPLATE_P (tmpl)) { if (complain & tf_error) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 01c6cb189c2bfde5da6e42cb54b42d02e15822f3..e40c1e9760ba0526da398c1ed66bad4eb66c524f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2010-11-16 Jason Merrill <jason@redhat.com> + + * g++.dg/template/injected2.C: New. + 2010-11-17 Nicola Pero <nicola.pero@meta-innovation.com> * objc.dg/protocol-optional-1.m: New. diff --git a/gcc/testsuite/g++.dg/template/injected2.C b/gcc/testsuite/g++.dg/template/injected2.C new file mode 100644 index 0000000000000000000000000000000000000000..bd09ccc3553e102c84ff3e6d8090faedd81228e2 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/injected2.C @@ -0,0 +1,9 @@ +// DR 1004 + +template <class T, template<class>class U = T::template B> struct A { }; + +template <class T> struct B { + template <class U> friend struct B; +}; + +A<B<int> > a;