Merge pull request #3144 from smowton/smowton/cleanup/value-set-clear

Remove unused make_any methods

Author: tautschnig

src/pointer-analysis/value_set.h

@@ -306,12 +306,6 @@ class value_sett
     const idt &identifier,
     const std::string &suffix);
 
-  /// Clears value set (not used in the CBMC repository)
-  void make_any()
-  {
-    values.clear();
-  }
-
   void clear()
   {
     values.clear();

src/pointer-analysis/value_set_fi.h

@@ -212,11 +212,6 @@ class value_set_fit
     const idt &identifier,
     const std::string &suffix);
 
-  void make_any()
-  {
-    values.clear();
-  }
-
   void clear()
   {
     values.clear();

src/pointer-analysis/value_set_fivr.h

@@ -242,11 +242,6 @@ class value_set_fivrt
     const idt &identifier,
     const std::string &suffix);
 
-  void make_any()
-  {
-    values.clear();
-  }
-
   void clear()
   {
     values.clear();

src/pointer-analysis/value_set_fivrns.h

@@ -234,11 +234,6 @@ class value_set_fivrnst
     const idt &identifier,
     const std::string &suffix);
 
-  void make_any()
-  {
-    values.clear();
-  }
-
   void clear()
   {
     values.clear();