re PR c++/48798 (CV-qualified base class erroneously forbidden)

/cp
2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/48798
	* semantics.c (finish_base_specifier): cv-qualified base class
	is fine, per DR 484.

/testsuite
2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>

	PR c++/48798
	* g++.dg/inherit/pr48798.C: New.
	* g++.old-deja/g++.other/base1.C: Adjust.

From-SVN: r173124

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 6b6d81bd26e8782b1e40a0c266a9683c0dc2bf79..e34f03f464fefdeea26d50b0e76572b00befb21b 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/48798
+       * semantics.c (finish_base_specifier): cv-qualified base class
+       is fine, per DR 484.
+
 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
 
        PR c++/48656

diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c
index 722e57fe528309aa0920d4e6ab3994b804ad8bdf..815824a5b7a40f5f3a59bec41e867a01dce386f6 100644 (file)
--- a/gcc/cp/semantics.c
+++ b/gcc/cp/semantics.c
@@ -2767,7 +2767,8 @@ finish_base_specifier (tree base, tree access, bool virtual_p)
     {
       if (cp_type_quals (base) != 0)
        {
-         error ("base class %qT has cv qualifiers", base);
+         /* DR 484: Can a base-specifier name a cv-qualified
+            class type?  */
          base = TYPE_MAIN_VARIANT (base);
        }
       result = build_tree_list (access, base);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b0d5e1c6f6c6aa4ed1b3b18d57cffad7f4ba5a66..8d0d6a9da5559ac880a64551d3239550a332dd9a 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2011-04-28  Paolo Carlini  <paolo.carlini@oracle.com>
+
+       PR c++/48798
+       * g++.dg/inherit/pr48798.C: New.
+       * g++.old-deja/g++.other/base1.C: Adjust.
+
 2011-04-28  Dodji Seketeli  <dodji@redhat.com>
 
        PR c++/48656

diff --git a/gcc/testsuite/g++.dg/inherit/pr48798.C b/gcc/testsuite/g++.dg/inherit/pr48798.C
new file mode 100644 (file)
index 0000000..cc9921e
--- /dev/null
+++ b/gcc/testsuite/g++.dg/inherit/pr48798.C
@@ -0,0 +1,4 @@
+// PR c++/48798
+
+typedef struct A {} const t;
+struct B : t {};

diff --git a/gcc/testsuite/g++.old-deja/g++.other/base1.C b/gcc/testsuite/g++.old-deja/g++.other/base1.C
index 3c9ac264e1d08d777adbeca1d90a12bd159881cb..b38a6546d033956b94c8b65176dd5ee85e94d07d 100644 (file)
--- a/gcc/testsuite/g++.old-deja/g++.other/base1.C
+++ b/gcc/testsuite/g++.old-deja/g++.other/base1.C
@@ -3,8 +3,7 @@
 // Copyright (C) 2000 Free Software Foundation, Inc.
 // Contributed by Nathan Sidwell 25 Nov 2000 <nathan@codesourcery.com>
 
-// We lost information about which base wasn't an aggregate type, plus we
-// allowed cv qualifed bases via typedefs.
+// We lost information about which base wasn't an aggregate type.
 
 typedef int I;
 typedef int cI;
@@ -16,5 +15,5 @@ typedef A pA;
 
 struct B : I {};  // { dg-error "" } not an aggregate
 struct C : cI {}; // { dg-error "" } not an aggregate
-struct D : cA {}; // { dg-error "" } cv qualified
+struct D : cA {}; // cv-qualified is fine per DR 484
 struct E : pA {};