Make ~value private

At the end of this series, I belatedly realized that values should
only be destroyed by value_decref.  This patch marks the the
destructor private to enforce this.

Approved-By: Simon Marchi <simon.marchi@efficios.com>

diff --git a/gdb/value.h b/gdb/value.h
index 7708530ddcceaf102213c33ea37b271535b52069..07230662fdd085f7d48ad653d5c4c2dcf24ee8e2 100644 (file)
--- a/gdb/value.h
+++ b/gdb/value.h
@@ -143,6 +143,12 @@ private:
   {
   }
 
+  /* Values can only be destroyed via the reference-counting
+     mechanism.  */
+  ~value ();
+
+  DISABLE_COPY_AND_ASSIGN (value);
+
 public:
 
   /* Allocate a lazy value for type TYPE.  Its actual content is
@@ -170,10 +176,6 @@ public:
      storage.  */
   struct value *copy () const;
 
-  ~value ();
-
-  DISABLE_COPY_AND_ASSIGN (value);
-
   /* Type of the value.  */
   struct type *type () const
   { return m_type; }