Add missing virtual destructor

Author: tautschnig

jbmc/src/java_bytecode/java_bytecode_parse_tree.h

@@ -84,6 +84,8 @@ class java_bytecode_parse_treet
       is_private(false), is_static(false), is_final(false)
     {
     }
+
+    virtual ~membert() = default;
   };
 
   class methodt:public membert

src/goto-instrument/accelerate/disjunctive_polynomial_acceleration.h

@@ -56,6 +56,8 @@ class disjunctive_polynomial_accelerationt:public loop_accelerationt
     utils.find_modified(loop, modified);
   }
 
+  virtual ~disjunctive_polynomial_accelerationt() = default;
+
   virtual bool accelerate(path_acceleratort &accelerator);
 
   bool fit_polynomial(

src/goto-instrument/accelerate/enumerating_loop_acceleration.h

@@ -56,6 +56,8 @@ class enumerating_loop_accelerationt:public loop_accelerationt
   {
   }
 
+  virtual ~enumerating_loop_accelerationt() = default;
+
   virtual bool accelerate(path_acceleratort &accelerator);
 
 protected:

src/goto-instrument/accelerate/polynomial_accelerator.h

@@ -58,6 +58,8 @@ class polynomial_acceleratort
   {
   }
 
+  virtual ~polynomial_acceleratort() = default;
+
   virtual bool accelerate(patht &loop, path_acceleratort &accelerator);
 
   bool fit_polynomial(

src/goto-instrument/rw_set.h

@@ -40,7 +40,7 @@ class rw_set_baset
   {
   }
 
-  ~rw_set_baset() {}
+  virtual ~rw_set_baset() = default;
 
   struct entryt
   {
@@ -136,8 +136,6 @@ class _rw_set_loct:public rw_set_baset
   {
   }
 
-  ~_rw_set_loct() {}
-
 protected:
   value_setst &value_sets;
   const goto_programt::const_targett target;
@@ -192,8 +190,6 @@ class rw_set_loct:public _rw_set_loct
   {
     compute();
   }
-
-  ~rw_set_loct() {}
 };
 
 // another producer, this time for entire functions
@@ -213,8 +209,6 @@ class rw_set_functiont:public rw_set_baset
     compute_rec(function);
   }
 
-  ~rw_set_functiont() {}
-
 protected:
   const namespacet ns;
   value_setst &value_sets;
@@ -258,8 +252,6 @@ class rw_set_with_trackt:public _rw_set_loct
     compute();
   }
 
-  ~rw_set_with_trackt() {}
-
 protected:
   /* flag and variable in the expression, from which we dereference */
   bool dereferencing;

src/pointer-analysis/value_set.h

@@ -45,6 +45,8 @@ class value_sett
   {
   }
 
+  virtual ~value_sett() = default;
+
   static bool field_sensitive(
     const irep_idt &id,
     const typet &type,

src/solvers/floatbv/float_bv.h

@@ -22,9 +22,7 @@ class float_bvt
   {
   }
 
-  ~float_bvt()
-  {
-  }
+  virtual ~float_bvt() = default;
 
   exprt operator()(const exprt &src)
   {

src/solvers/refinement/string_refinement_util.h

@@ -79,6 +79,8 @@ class sparse_arrayt
   /// Complexity is linear in the number of entries.
   virtual exprt at(std::size_t index) const;
 
+  virtual ~sparse_arrayt() = default;
+
 protected:
   exprt default_value;
   std::map<std::size_t, exprt> entries;

src/util/endianness_map.h

@@ -41,6 +41,8 @@ class endianness_mapt
   {
   }
 
+  virtual ~endianness_mapt() = default;
+
   size_t map_bit(size_t bit) const
   {
     assert(bit<map.size());