From ef792945841ca51df53ffc0abea25fa938180e5d Mon Sep 17 00:00:00 2001 From: mmitchel Date: Fri, 16 Sep 2005 18:33:22 +0000 Subject: [PATCH] PR c++/23914 * parser.c (cp_parser_enclosed_template_argument_list): Make sure skip_evaluation is false when processing template arguments. PR c++/23914 * g++.dg/template/static18.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@104350 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/cp/ChangeLog | 4 ++++ gcc/cp/parser.c | 6 ++++++ gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/g++.dg/template/static18.C | 13 +++++++++++++ 4 files changed, 26 insertions(+) create mode 100644 gcc/testsuite/g++.dg/template/static18.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 91dc40597f2..0680431367d 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2005-09-16 Mark Mitchell + PR c++/23914 + * parser.c (cp_parser_enclosed_template_argument_list): Make sure + skip_evaluation is false when processing template arguments. + PR c++/21514 * pt.c (check_instantiated_args): Treat uses of anonymous types as causing type-deduction failure. diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c index 0f8d17cd504..7284d4b84b8 100644 --- a/gcc/cp/parser.c +++ b/gcc/cp/parser.c @@ -15411,6 +15411,7 @@ cp_parser_enclosed_template_argument_list (cp_parser* parser) tree saved_qualifying_scope; tree saved_object_scope; bool saved_greater_than_is_operator_p; + bool saved_skip_evaluation; /* [temp.names] @@ -15425,6 +15426,10 @@ cp_parser_enclosed_template_argument_list (cp_parser* parser) saved_scope = parser->scope; saved_qualifying_scope = parser->qualifying_scope; saved_object_scope = parser->object_scope; + /* We need to evaluate the template arguments, even though this + template-id may be nested within a "sizeof". */ + saved_skip_evaluation = skip_evaluation; + skip_evaluation = false; /* Parse the template-argument-list itself. */ if (cp_lexer_next_token_is (parser->lexer, CPP_GREATER)) arguments = NULL_TREE; @@ -15474,6 +15479,7 @@ cp_parser_enclosed_template_argument_list (cp_parser* parser) parser->scope = saved_scope; parser->qualifying_scope = saved_qualifying_scope; parser->object_scope = saved_object_scope; + skip_evaluation = saved_skip_evaluation; return arguments; } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 6103389ca2b..7bb4fb1a793 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2005-09-16 Mark Mitchell + PR c++/23914 + * g++.dg/template/static18.C: New test. + PR c++/21514 * g++.dg/template/crash19.C: Remove dg-error marker. * g++.dg/template/local4.C: New test. diff --git a/gcc/testsuite/g++.dg/template/static18.C b/gcc/testsuite/g++.dg/template/static18.C new file mode 100644 index 00000000000..2a2ace93914 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/static18.C @@ -0,0 +1,13 @@ +// PR c++/23914 + +template +struct foo_template { + static const unsigned complexity = 0; +}; + +template struct STATIC_ASSERTION {}; + +void gcc_402_problem_minimal() +{ + sizeof(STATIC_ASSERTION< foo_template::complexity >); +} -- 2.11.0