This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: C++ PATCH to fix a part of c++/70513 (ICE-on-invalid with enums)
- From: Marek Polacek <polacek at redhat dot com>
- To: Jason Merrill <jason at redhat dot com>
- Cc: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 21 Apr 2016 18:12:43 +0200
- Subject: Re: C++ PATCH to fix a part of c++/70513 (ICE-on-invalid with enums)
- Authentication-results: sourceware.org; auth=none
- References: <20160408115102 dot GI28445 at redhat dot com> <5717A163 dot 1050503 at redhat dot com> <20160421113541 dot GS28445 at redhat dot com> <5718DC4A dot 9040403 at redhat dot com>
On Thu, Apr 21, 2016 at 09:57:30AM -0400, Jason Merrill wrote:
> On 04/21/2016 07:35 AM, Marek Polacek wrote:
> >+ permerror (type_start_token->location,
> >+ "extra qualification not allowed");
> >+ type = error_mark_node;
>
> If we're using permerror, we shouldn't set type to error_mark_node; if we do
> that, -fpermissive won't make it work.
Yikes, that makes sense. I removed the assignment.
Bootstrapped/regtested on x86_64-linux, ok for trunk?
2016-04-21 Marek Polacek <polacek@redhat.com>
PR c++/70513
* parser.c (cp_parser_enum_specifier): Check and possibly error for
extra qualification.
* g++.dg/cpp0x/forw_enum12.C: New test.
* g++.dg/cpp0x/forw_enum13.C: New test.
diff --git gcc/cp/parser.c gcc/cp/parser.c
index 0a1ed1a..feb8de7 100644
--- gcc/cp/parser.c
+++ gcc/cp/parser.c
@@ -17233,6 +17233,16 @@ cp_parser_enum_specifier (cp_parser* parser)
type, prev_scope, nested_name_specifier);
type = error_mark_node;
}
+ /* If that scope is the scope where the declaration is being placed
+ the program is invalid. */
+ else if (CLASS_TYPE_P (nested_name_specifier)
+ && CLASS_TYPE_P (prev_scope)
+ && same_type_p (nested_name_specifier, prev_scope))
+ {
+ permerror (type_start_token->location,
+ "extra qualification not allowed");
+ nested_name_specifier = NULL_TREE;
+ }
}
if (scoped_enum_p)
diff --git gcc/testsuite/g++.dg/cpp0x/forw_enum12.C gcc/testsuite/g++.dg/cpp0x/forw_enum12.C
index e69de29..906ba68 100644
--- gcc/testsuite/g++.dg/cpp0x/forw_enum12.C
+++ gcc/testsuite/g++.dg/cpp0x/forw_enum12.C
@@ -0,0 +1,29 @@
+// PR c++/70513
+// { dg-do compile { target c++11 } }
+
+struct S1
+{
+ enum E : int;
+ enum S1::E : int { X } e; // { dg-error "extra qualification not allowed" }
+};
+
+struct S2
+{
+ enum class E : int;
+ enum class S2::E : int { X } e; // { dg-error "extra qualification not allowed" }
+};
+
+struct S3
+{
+ enum struct E : int;
+ enum struct S3::E : int { X } e; // { dg-error "extra qualification not allowed" }
+};
+
+struct S4
+{
+ struct S5
+ {
+ enum E : char;
+ enum S4::S5::E : char { X } e; // { dg-error "extra qualification not allowed" }
+ };
+};
diff --git gcc/testsuite/g++.dg/cpp0x/forw_enum13.C gcc/testsuite/g++.dg/cpp0x/forw_enum13.C
index e69de29..b8027f0 100644
--- gcc/testsuite/g++.dg/cpp0x/forw_enum13.C
+++ gcc/testsuite/g++.dg/cpp0x/forw_enum13.C
@@ -0,0 +1,47 @@
+// PR c++/70513
+// { dg-do compile { target c++11 } }
+
+template <typename T>
+class D1
+{
+ enum A : int;
+ enum D1::A : int { foo } c; // { dg-error "extra qualification not allowed" }
+};
+
+template <typename T>
+class D2
+{
+ enum A : int;
+ enum D2<T>::A : int { foo } c; // { dg-error "extra qualification not allowed" }
+};
+
+template <typename T>
+class D3
+{
+ enum D3::A { foo } c; // { dg-error "extra qualification not allowed" }
+};
+
+template <typename T>
+class D4
+{
+ enum D4<T>::A { foo } c; // { dg-error "extra qualification not allowed" }
+};
+
+template <typename T>
+class D5
+{
+ class D6
+ {
+ enum D6::A { foo } c; // { dg-error "extra qualification not allowed" }
+ };
+};
+
+template <typename T>
+class D7
+{
+ class D8
+ {
+ enum A : int;
+ enum D8::A : int { foo } c; // { dg-error "extra qualification not allowed" }
+ };
+};
Marek