Warn about the use of final/override in non-c++0x mode, and add __final for non-c...

	Warn about the use of final/override in non-c++0x mode, and
	add __final for non-c++0x mode.
	* cp-tree.h (cpp0x_warn_str): Add CPP0X_OVERRIDE_CONTROLS.
	* error.c (maybe_warn_cpp0x): Adjust.
	* parser.c (cp_parser_virt_specifier_seq_opt): Use it. Add
	'__final' as a non-c++0x alternative for 'final'.

From-SVN: r176655

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 49faf152ae3c8f16882421fa43fcf8a84d6fadbe..cdbb3fe5ecbec1c5899417fa6e1ef0f69167e56e 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,12 @@
+2011-07-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
+
+       Warn about the use of final/override in non-c++0x mode, and
+       add __final for non-c++0x mode.
+       * cp-tree.h (cpp0x_warn_str): Add CPP0X_OVERRIDE_CONTROLS.
+       * error.c (maybe_warn_cpp0x): Adjust.
+       * parser.c (cp_parser_virt_specifier_seq_opt): Use it. Add
+       '__final' as a non-c++0x alternative for 'final'.
+
 2011-07-22  Jason Merrill  <jason@redhat.com>
            Mark Glisse  <marc.glisse@normalesup.org>
 

diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h
index c5905850ca458937cf064ec92b6522d739bc30f5..fb171782cd70b947926430bdb434e9dd1477b0b2 100644 (file)
--- a/gcc/cp/cp-tree.h
+++ b/gcc/cp/cp-tree.h
@@ -393,7 +393,9 @@ typedef enum cpp0x_warn_str
   /* defaulted and deleted functions */
   CPP0X_DEFAULTED_DELETED,
   /* inline namespaces */
-  CPP0X_INLINE_NAMESPACES
+  CPP0X_INLINE_NAMESPACES,
+  /* override controls, override/final */
+  CPP0X_OVERRIDE_CONTROLS
 } cpp0x_warn_str;
   
 /* The various kinds of operation used by composite_pointer_type. */

diff --git a/gcc/cp/error.c b/gcc/cp/error.c
index 2d7c0f1f0b616de16411f43f129fd5b503bc4d0d..d435bbe9fceb1120388a6248a16a7b4afca881e2 100644 (file)
--- a/gcc/cp/error.c
+++ b/gcc/cp/error.c
@@ -3227,6 +3227,11 @@ maybe_warn_cpp0x (cpp0x_warn_str str)
                 "inline namespaces "
                 "only available with -std=c++0x or -std=gnu++0x");
        break;  
+      case CPP0X_OVERRIDE_CONTROLS:
+       pedwarn (input_location, 0,
+                "override controls (override/final) "
+                "only available with -std=c++0x or -std=gnu++0x");
+        break;
       default:
        gcc_unreachable();
       }

diff --git a/gcc/cp/parser.c b/gcc/cp/parser.c
index 285180152e3b5cd4ac746c50d17cf2ac3651180e..dc54dc20d800538cc3ef3049b6e5d204744504da 100644 (file)
--- a/gcc/cp/parser.c
+++ b/gcc/cp/parser.c
@@ -15596,9 +15596,19 @@ cp_parser_virt_specifier_seq_opt (cp_parser* parser)
       if (token->type != CPP_NAME)
         break;
       if (!strcmp (IDENTIFIER_POINTER(token->u.value), "override"))
-       virt_specifier = VIRT_SPEC_OVERRIDE;
+        {
+          maybe_warn_cpp0x (CPP0X_OVERRIDE_CONTROLS);
+          virt_specifier = VIRT_SPEC_OVERRIDE;
+        }
       else if (!strcmp (IDENTIFIER_POINTER(token->u.value), "final"))
-       virt_specifier = VIRT_SPEC_FINAL;
+        {
+          maybe_warn_cpp0x (CPP0X_OVERRIDE_CONTROLS);
+          virt_specifier = VIRT_SPEC_FINAL;
+        }
+      else if (!strcmp (IDENTIFIER_POINTER(token->u.value), "__final"))
+        {
+          virt_specifier = VIRT_SPEC_FINAL;
+        }
       else
        break;
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5bf85f5b2e1d232472ce004a9e79bcb3a5915b51..ec8a8e0fbae29d1ef5a252a59db9152414b62551 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-22  Ville Voutilainen  <ville.voutilainen@gmail.com>
+
+       * override1.C: This test should use c++0x mode.
+       * override3.C: New. Test the diagnostics in c++98 mode.
+
 2011-07-22  Jason Merrill  <jason@redhat.com>
            Mark Glisse  <marc.glisse@normalesup.org>
 

diff --git a/gcc/testsuite/g++.dg/cpp0x/override1.C b/gcc/testsuite/g++.dg/cpp0x/override1.C
index 83e04790873f770bb0946af5db1f11681d195d77..ba580b5c09fe221f09cfe21b28ac49bf6012ef40 100644 (file)
--- a/gcc/testsuite/g++.dg/cpp0x/override1.C
+++ b/gcc/testsuite/g++.dg/cpp0x/override1.C
@@ -1,4 +1,5 @@
 // { dg-do compile }
+// { dg-options "--std=c++0x" }
 struct B
 {
   virtual void f() final {}

diff --git a/gcc/testsuite/g++.dg/cpp0x/override3.C b/gcc/testsuite/g++.dg/cpp0x/override3.C
new file mode 100644 (file)
index 0000000..2d22cbf
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/override3.C
@@ -0,0 +1,24 @@
+// { dg-do compile }
+// { dg-options "--std=c++98" }
+
+struct B final {}; // { dg-warning "override controls" }
+
+struct D : B {}; // { dg-error "cannot derive from 'final' base" }
+
+struct E __final {};
+
+struct F : E {}; // { dg-error "cannot derive from 'final' base" }
+
+struct G
+{
+  virtual void f();
+};
+
+struct H : G
+{
+  void f() override; // { dg-warning "override controls" }
+};
+
+int main()
+{
+}