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

parser.c (cp_parser_type_id_1): 'auto' type is ok with a late-specified return type.

Browse Source 
* parser.c (cp_parser_type_id_1): 'auto' type is ok with a
	late-specified return type.

From-SVN: r148306
This commit is contained in:
Jason Merrill 2009-06-09 00:18:54 -04:00 committed by Jason Merrill
parent 92b672095e
commit 3dbbb7af5b
4 changed files with 33 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/cp/ChangeLog
View File

@ -1,3 +1,8 @@
2009-06-08 Jason Merrill <jason@redhat.com>
* parser.c (cp_parser_type_id_1): 'auto' type is ok with a
late-specified return type.
2009-06-08 Jakub Jelinek <jakub@redhat.com>
PR c++/40373

13
gcc/cp/parser.c
View File

@ -13848,8 +13848,17 @@ cp_parser_type_id_1 (cp_parser* parser, bool is_template_arg)
if (type_specifier_seq.type
&& type_uses_auto (type_specifier_seq.type))
{
error ("invalid use of %<auto%>");
return error_mark_node;
/* A type-id with type 'auto' is only ok if the abstract declarator
is a function declarator with a late-specified return type. */
if (abstract_declarator
&& abstract_declarator->kind == cdk_function
&& abstract_declarator->u.function.late_return_type)
/* OK */;
else
{
error ("invalid use of %<auto%>");
return error_mark_node;
}
}
return groktypename (&type_specifier_seq, abstract_declarator,

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2009-06-08 Jason Merrill <jason@redhat.com>
* g++.dg/cpp0x/auto15.C: New.
2009-06-08 Jan Hubicka <jh@suse.cz>
PR debug/39834

13
gcc/testsuite/g++.dg/cpp0x/auto15.C Normal file
View File

@ -0,0 +1,13 @@
// { dg-options "-std=c++0x" }
template< typename Fn > struct function;
template< typename Result, typename ... ArgTypes >
struct function< auto (ArgTypes...)->Result > {
};
int main()
{
function< auto(double)->int > y;
return 0;
}