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

PR c++/84374 - diagnose invalid uses of decltype(auto).

Browse source 
* decl.c (grokdeclarator): Diagnose wrong usage of decltype(auto) in
	a function declaration.

	* g++.dg/cpp1y/auto-fn57.C: New test.

From-SVN: r275557
This commit is contained in:
Marek Polacek 2019-09-10 02:29:13 +00:00 • committed by Marek Polacek
parent fa412b7c52
commit 77df40e812
4 changed files with 39 additions and 0 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 @@
2019-09-09 Marek Polacek <polacek@redhat.com>
PR c++/84374 - diagnose invalid uses of decltype(auto).
* decl.c (grokdeclarator): Diagnose wrong usage of decltype(auto) in
a function declaration.
2019-09-06 Nathan Sidwell <nathan@acm.org>
PR c++/91125

10
gcc/cp/decl.c
View file

@ -11681,6 +11681,16 @@ grokdeclarator (const cp_declarator *declarator,
"allowed");
return error_mark_node;
}
/* Only plain decltype(auto) is allowed. */
if (tree a = type_uses_auto (type))
{
if (AUTO_IS_DECLTYPE (a) && a != type)
{
error_at (typespec_loc, "%qT as type rather than "
"plain %<decltype(auto)%>", type);
return error_mark_node;
}
}
if (ctype == NULL_TREE
&& decl_context == FIELD

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2019-09-09 Marek Polacek <polacek@redhat.com>
PR c++/84374 - diagnose invalid uses of decltype(auto).
* g++.dg/cpp1y/auto-fn57.C: New test.
2019-09-09 Segher Boessenkool <segher@kernel.crashing.org>
* gcc.target/powerpc/rlwinm-0.c: Adjust expected instruction counts.

18
gcc/testsuite/g++.dg/cpp1y/auto-fn57.C Normal file
View file

@ -0,0 +1,18 @@
// PR c++/84374 - diagnose invalid uses of decltype(auto).
// { dg-do compile { target c++14 } }
auto l = [](auto* r)->decltype(auto)* { return r; }; // { dg-error "as type rather than plain" }
auto m = [](auto* r)->decltype(auto)& { return *r; }; // { dg-error "as type rather than plain" }
decltype(auto)* f(); // { dg-error "as type rather than plain" }
decltype(auto)& f2(); // { dg-error "as type rather than plain" }
decltype(auto)* f3() { return 42; } // { dg-error "as type rather than plain" }
decltype(auto)& f4() { return 42; } // { dg-error "as type rather than plain" }
class C {
decltype(auto)* g(); // { dg-error "as type rather than plain" }
decltype(auto)& g2(); // { dg-error "as type rather than plain" }
decltype(auto)* g3() { } // { dg-error "as type rather than plain" }
decltype(auto)& g4() { } // { dg-error "as type rather than plain" }
};