Re: [v3] Undo 2001-11-30 libsupc++ changes

[Paolo Carlini <pcarlini at unitus dot it>]

This is what I have committed.

Thanks,
Paolo.

/////////

2002-01-09  Paolo Carlini <pcarlini@unitus.it>

        * libsupc++/exception (bad_exception): Add comment.
        * libsupc++/new (bad_alloc): Same.
        * libsupc++/typeinfo (bad_cast, bad_typeid): Same.

===================================================================
RCS file: /cvs/gcc/gcc/libstdc++-v3/libsupc++/new,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -r1.7 -r1.8
--- gcc/libstdc++-v3/libsupc++/new      2002/01/09 20:39:27     1.7
+++ gcc/libstdc++-v3/libsupc++/new      2002/01/09 23:31:57     1.8
@@ -51,6 +51,8 @@
   {
   public:
     bad_alloc() throw() { }
+    // This declaration is not useless:
+    // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
     virtual ~bad_alloc() throw();
   };


 ===================================================================
RCS file: /cvs/gcc/gcc/libstdc++-v3/libsupc++/typeinfo,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- gcc/libstdc++-v3/libsupc++/typeinfo 2002/01/09 20:39:27     1.11
+++ gcc/libstdc++-v3/libsupc++/typeinfo 2002/01/09 23:31:57     1.12
@@ -130,6 +130,8 @@
   {
   public:
     bad_cast() throw() { }
+    // This declaration is not useless:
+    // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
     virtual ~bad_cast() throw();
   };

@@ -138,6 +140,8 @@
   {
   public:
     bad_typeid () throw() { }
+    // This declaration is not useless:
+    // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
     virtual ~bad_typeid() throw();
   };
 } // namespace std

===================================================================
RCS file: /cvs/gcc/gcc/libstdc++-v3/libsupc++/exception,v
retrieving revision 1.10
retrieving revision 1.11
diff -u -r1.10 -r1.11
--- gcc/libstdc++-v3/libsupc++/exception        2002/01/09 20:39:27     1.10
+++ gcc/libstdc++-v3/libsupc++/exception        2002/01/09 23:31:57     1.11
@@ -63,6 +63,8 @@
   {
   public:
     bad_exception() throw() { }
+    // This declaration is not useless:
+    // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
     virtual ~bad_exception() throw();
   };