mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 00:01:25 +08:00
Code Issues Packages Projects Releases Wiki Activity

c++: simple-requirement starting with 'typename' [PR101733]

Browse Source 
Usually a requirement starting with 'typename' is a type-requirement, but it
might be a simple-requirement such as a functional cast to a typename-type.

	PR c++/101733

gcc/cp/ChangeLog:

	* parser.cc (cp_parser_requirement): Parse tentatively for the
	'typename' case.

gcc/testsuite/ChangeLog:

	* g++.dg/cpp2a/concepts-requires32.C: New test.
This commit is contained in:
Jason Merrill 2022-11-26 11:13:55 -05:00
parent 297bbe2d0d
commit 2b0ae7fb91
2 changed files with 25 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
gcc/cp/parser.cc
View File

@ -30737,7 +30737,20 @@ cp_parser_requirement (cp_parser *parser)
if (cp_lexer_next_token_is (parser->lexer, CPP_OPEN_BRACE))
return cp_parser_compound_requirement (parser);
else if (cp_lexer_next_token_is_keyword (parser->lexer, RID_TYPENAME))
return cp_parser_type_requirement (parser);
{
/* It's probably a type-requirement. */
cp_parser_parse_tentatively (parser);
tree req = cp_parser_type_requirement (parser);
if (cp_parser_parse_definitely (parser))
return req;
/* No, maybe it's something like typename T::type(); */
cp_parser_parse_tentatively (parser);
req = cp_parser_simple_requirement (parser);
if (cp_parser_parse_definitely (parser))
return req;
/* Non-tentative for the error. */
return cp_parser_type_requirement (parser);
}
else if (cp_lexer_next_token_is_keyword (parser->lexer, RID_REQUIRES))
return cp_parser_nested_requirement (parser);
else

11
gcc/testsuite/g++.dg/cpp2a/concepts-requires32.C Normal file
View File

@ -0,0 +1,11 @@
// PR c++/101733
// { dg-do compile { target c++20 } }
template<class T>
requires requires {
typename T::type;
(typename T::type()); // (1)
T::type(); // (2)
typename T::type(); // (3)
}
void f(T) { }