OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

PR c++/29731 (again) 

/cp
2007-09-05  Paolo Carlini  <pcarlini@suse.de>

	PR c++/29731 (again)
	* parser.c (cp_parser_primary_expression): Return error_mark_node
	when a statement-expression is found in a template-argument list.

/testsuite
2007-09-05  Paolo Carlini  <pcarlini@suse.de>

	PR c++/29731
	* g++.dg/parse/template24.C: New.

From-SVN: r128124
This commit is contained in:
Paolo Carlini 2007-09-05 09:31:54 +00:00 committed by Paolo Carlini
parent 50e47dba16
commit 03ba2e1122
4 changed files with 23 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/cp/ChangeLog
View File

@ -1,3 +1,9 @@
2007-09-05 Paolo Carlini <pcarlini@suse.de>
PR c++/29731 (again)
* parser.c (cp_parser_primary_expression): Return error_mark_node
when a statement-expression is found in a template-argument list.
2007-09-04 Jason Merrill <jason@redhat.com>
PR c++/31419

6
gcc/cp/parser.c
View File

@ -3166,9 +3166,11 @@ cp_parser_primary_expression (cp_parser *parser,
int i = ({ int j = 3; j + 1; });
at class or namespace scope. */
if (!parser->in_function_body)
if (!parser->in_function_body
|| parser->in_template_argument_list_p)
{
error ("statement-expressions are allowed only inside functions");
error ("statement-expressions are not allowed outside "
"functions nor in template-argument lists");
cp_parser_skip_to_end_of_block_or_statement (parser);
expr = error_mark_node;
}

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2007-09-05 Paolo Carlini <pcarlini@suse.de>
PR c++/29731
* g++.dg/parse/template24.C: New.
2007-09-04 Andrew Pinski <andrew_pinski@playstation.sony.com>
* g++.dg/other/spu2vmx-1.C: New test.

8
gcc/testsuite/g++.dg/parse/template24.C Normal file
View File

@ -0,0 +1,8 @@
/* PR c++/29731. This used to ICE in uses_template_parms. */
template<int> struct A {};
void foo()
{
A<({})> a; /* { dg-error "forbids braced-groups within expressions|statement-expressions|template argument 1 is invalid|invalid type" } */
}