c++: pedwarn for empty unnamed enum in decl [PR67048]
authorMarek Polacek <polacek@redhat.com>
Thu, 28 Apr 2022 20:50:06 +0000 (16:50 -0400)
committerRichard Biener <rguenther@suse.de>
Fri, 12 Aug 2022 07:03:20 +0000 (09:03 +0200)
[dcl.dcl]/5 says that

  enum { };

is ill-formed, and since r197742 we issue a pedwarn.  However, the
pedwarn also fires for

   enum { } x;

which is well-formed.  So only warn when {} is followed by a ;.  This
should be correct since you can't have "enum {}, <whatever>" -- that
produces "expected unqualified-id before ',' token".

PR c++/67048

gcc/cp/ChangeLog:

* parser.cc (cp_parser_enum_specifier): Warn about empty unnamed enum
only when it's followed by a semicolon.

gcc/testsuite/ChangeLog:

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

(cherry picked from commit fd0d3e9121c5aa65150d242676be6bbdc8d4a92a)

gcc/cp/parser.cc
gcc/testsuite/g++.dg/cpp0x/enum42.C [new file with mode: 0644]

index 763df6f..5de1a80 100644 (file)
@@ -21007,7 +21007,9 @@ cp_parser_enum_specifier (cp_parser* parser)
       /* If the next token is not '}', then there are some enumerators.  */
       else if (cp_lexer_next_token_is (parser->lexer, CPP_CLOSE_BRACE))
        {
-         if (is_unnamed && !scoped_enum_p)
+         if (is_unnamed && !scoped_enum_p
+             /* Don't warn for enum {} a; here.  */
+             && cp_lexer_nth_token_is (parser->lexer, 2, CPP_SEMICOLON))
            pedwarn (type_start_token->location, OPT_Wpedantic,
                     "ISO C++ forbids empty unnamed enum");
        }
diff --git a/gcc/testsuite/g++.dg/cpp0x/enum42.C b/gcc/testsuite/g++.dg/cpp0x/enum42.C
new file mode 100644 (file)
index 0000000..05b372a
--- /dev/null
@@ -0,0 +1,7 @@
+// PR c++/67048
+// { dg-do compile { target c++11 } }
+// { dg-options -Wpedantic }
+
+typedef enum {} X;
+enum {} x;
+enum {} y, z;