c++: Fix tentative parsing of enum-specifier [PR96077]

Here's an interesting issue: in this code a ) is missing:

  enum { E = (2 } e;

but we compile the code anyway, and E is set to 0 in build_enumerator,
which is sneaky.

The problem is that cp_parser_enum_specifier parses tentatively, because
when we see the enum keyword, we don't know yet if we'll find an
enum-specifier, opaque-enum-declaration, or elaborated-enum-specifier.

In this test when we call cp_parser_enumerator_list we're still parsing
tentatively, and as a consequence, parens.require_close (parser) in
cp_parser_primary_expression doesn't report any errors.  But we only go
on to parse the enumerator-list after we've seen a {, at which point we
might as well commit -- we know we're dealing with an enum-specifier.

gcc/cp/ChangeLog:

	PR c++/96077
	* parser.c (cp_parser_enum_specifier): Commit to tentative parse
	after we've seen an opening brace.

gcc/testsuite/ChangeLog:

	PR c++/96077
	* g++.dg/parse/enum14.C: New test.
This commit is contained in:
Marek Polacek 2020-07-09 20:44:05 -04:00
parent a431251922
commit 4fd124a236
2 changed files with 13 additions and 1 deletions

View File

@ -19412,7 +19412,12 @@ cp_parser_enum_specifier (cp_parser* parser)
"ISO C++ forbids empty unnamed enum");
}
else
cp_parser_enumerator_list (parser, type);
{
/* We've seen a '{' so we know we're in an enum-specifier.
Commit to any tentative parse to get syntax errors. */
cp_parser_commit_to_tentative_parse (parser);
cp_parser_enumerator_list (parser, type);
}
/* Consume the final '}'. */
braces.require_close (parser);

View File

@ -0,0 +1,7 @@
// PR c++/96077
int main ()
{
enum { E = (2 } e; // { dg-error "expected" }
enum { F = true ? 2 : (3 /* missing ")" here */ } f; // { dg-error "expected" }
}