re PR c++/34089 (Segfault on specialization using struct instead of template function.)

PR c++/34089
	* parser.c (cp_parser_class_head): Reject function template ids.

	* g++.dg/template/crash74.C: New test.

From-SVN: r130316
This commit is contained in:
Jakub Jelinek 2007-11-20 17:19:40 +01:00 committed by Jakub Jelinek
parent 8ef62eeb74
commit 542f8eb989
4 changed files with 26 additions and 2 deletions

View File

@ -1,5 +1,8 @@
2007-11-20 Jakub Jelinek <jakub@redhat.com>
PR c++/34089
* parser.c (cp_parser_class_head): Reject function template ids.
PR c++/28879
* tree.c (build_cplus_array_type_1): Don't pass any VLA types
when processing_template_decl to build_array_type.

View File

@ -14536,8 +14536,18 @@ cp_parser_class_head (cp_parser* parser,
/* Look up the type. */
if (template_id_p)
{
type = TREE_TYPE (id);
type = maybe_process_partial_specialization (type);
if (TREE_CODE (id) == TEMPLATE_ID_EXPR
&& (DECL_FUNCTION_TEMPLATE_P (TREE_OPERAND (id, 0))
|| TREE_CODE (TREE_OPERAND (id, 0)) == OVERLOAD))
{
error ("function template %qD redeclared as a class template", id);
type = error_mark_node;
}
else
{
type = TREE_TYPE (id);
type = maybe_process_partial_specialization (type);
}
if (nested_name_specifier)
pushed_scope = push_scope (nested_name_specifier);
}

View File

@ -1,3 +1,8 @@
2007-11-20 Jakub Jelinek <jakub@redhat.com>
PR c++/34089
* g++.dg/template/crash74.C: New test.
2007-11-20 Richard Guenther <rguenther@suse.de>
* gcc.c-torture/execute/20071120-1.c: New testcase.

View File

@ -0,0 +1,6 @@
// PR c++/34089
// { dg-do compile }
// { dg-options "" }
template<typename F> void foo () { }
template<typename F> struct foo<F> { }; // { dg-error "redeclared as" }