FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c++/78693 (Bogus 'inconsistent deduction for ‘auto’' error when having a dependent initializer and a nondependent one in the same declaration)

Browse source 
PR c++/78693
	* parser.c (cp_parser_simple_declaration): Only complain about
	inconsistent auto deduction if auto_result doesn't use auto.

	* g++.dg/cpp0x/pr78693.C: New test.

From-SVN: r244074
This commit is contained in:
Jakub Jelinek 2017-01-04 22:30:35 +01:00 • committed by Jakub Jelinek
parent 742b18041a
commit 26c43e2744
4 changed files with 42 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/cp/ChangeLog
View file

@ -1,5 +1,9 @@
2017-01-04 Jakub Jelinek <jakub@redhat.com>
PR c++/78693
* parser.c (cp_parser_simple_declaration): Only complain about
inconsistent auto deduction if auto_result doesn't use auto.
* parser.c (cp_parser_simple_declaration): Diagnose function
declaration among more than one init-declarators with auto
specifier.

6
gcc/cp/parser.c
View file

@ -12799,9 +12799,11 @@ cp_parser_simple_declaration (cp_parser* parser,
}
}
if (auto_result)
if (auto_result
&& (!processing_template_decl || !type_uses_auto (auto_result)))
{
if (last_type && last_type != error_mark_node
if (last_type
&& last_type != error_mark_node
&& !same_type_p (auto_result, last_type))
{
/* If the list of declarators contains more than one declarator,

3
gcc/testsuite/ChangeLog
View file

@ -1,5 +1,8 @@
2017-01-04 Jakub Jelinek <jakub@redhat.com>
PR c++/78693
* g++.dg/cpp0x/pr78693.C: New test.
PR driver/78957
* gcc.dg/pr78957.c: New test.

31
gcc/testsuite/g++.dg/cpp0x/pr78693.C Normal file
View file

@ -0,0 +1,31 @@
// PR c++/78693
// { dg-do compile { target c++11 } }
template <class T>
void
foo (T t)
{
auto i = t, j = 1; // { dg-bogus "inconsistent deduction" }
}
template <class T>
void
bar (T t)
{
auto i = 1, j = t, k = 2; // { dg-bogus "inconsistent deduction" }
}
template <class T, class U>
void
foo (T t, U u)
{
auto i = t, j = u; // { dg-bogus "inconsistent deduction" }
}
void
foo ()
{
foo (0);
bar (0);
foo (1, 2);
}