diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index d9de3612f7430d316be3e82ed058fc4db41baa9f..9e63aca5e8a1cf93ee6ac848fc9a9a5294f173da 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,11 @@ 2006-12-05 Mark Mitchell <mark@codesourcery.com> + PR c++/29729 + * decl2.c (check_member_template): Move check for member + templates in local classes to ... + * parser.c (cp_parser_template_declaration_after_export): + ... here. + PR c++/29728 * decl.c (check_array_designated_initializer): New function. (maybe_deduce_size_from_array_init): Use it. diff --git a/gcc/cp/decl2.c b/gcc/cp/decl2.c index 43889181f2f1e8a7e6de084472808d88c4f0ef19..b2a97ff9dc2c213372ba6ee93f85bb9b943d7c13 100644 --- a/gcc/cp/decl2.c +++ b/gcc/cp/decl2.c @@ -445,13 +445,8 @@ check_member_template (tree tmpl) || (TREE_CODE (decl) == TYPE_DECL && IS_AGGR_TYPE (TREE_TYPE (decl)))) { - if (current_function_decl) - /* 14.5.2.2 [temp.mem] - - A local class shall not have member templates. */ - error ("invalid declaration of member template %q#D in local class", - decl); - + /* The parser rejects template declarations in local classes. */ + gcc_assert (!current_function_decl); /* The parser rejects any use of virtual in a function template. */ gcc_assert (!(TREE_CODE (decl) == FUNCTION_DECL && DECL_VIRTUAL_P (decl))); diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 3ed7497624298641d14e3f23147cb8d4f6e1ab43..82ee8873355adace8ac39de8932f21d53fce9bfe 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -15696,6 +15696,15 @@ cp_parser_template_declaration_after_export (cp_parser* parser, bool member_p) /* And the `<'. */ if (!cp_parser_require (parser, CPP_LESS, "`<'")) return; + if (at_class_scope_p () && current_function_decl) + { + /* 14.5.2.2 [temp.mem] + + A local class shall not have member templates. */ + error ("invalid declaration of member template in local class"); + cp_parser_skip_to_end_of_block_or_statement (parser); + return; + } /* [temp] A template ... shall not have C linkage. */ diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d7bae48f0a102725c2209eee2dfc8c5a9144f4fd..089232fa404a7d28fc4b89311dc5a3568f678da5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2006-12-05 Mark Mitchell <mark@codesourcery.com> + PR c++/29729 + * g++.dg/template/crash63.C: New test. + PR c++/29728 * g++.dg/template/crash62.C: New test. diff --git a/gcc/testsuite/g++.dg/template/crash63.C b/gcc/testsuite/g++.dg/template/crash63.C new file mode 100644 index 0000000000000000000000000000000000000000..b7056e8d85e7f0ee2a0a6f65b21995665094d8ec --- /dev/null +++ b/gcc/testsuite/g++.dg/template/crash63.C @@ -0,0 +1,12 @@ +// PR c++/29729 + +template<typename T> void foo(T) +{ + struct A + { + template<int> struct B // { dg-error "local class" } + { + typedef B<0> C; + } + }; +}