Merge pull request #2444 from tautschnig/vs-value-set

Remove unused parameter in value_set_analysis

Author: tautschnig

src/pointer-analysis/value_set_analysis.cpp

@@ -21,7 +21,6 @@ Author: Daniel Kroening, kroening@kroening.com
 void value_sets_to_xml(
   std::function<const value_sett &(goto_programt::const_targett)> get_value_set,
   const goto_programt &goto_program,
-  const irep_idt &identifier,
   xmlt &dest)
 {
   source_locationt previous_location;
@@ -85,7 +84,7 @@ void convert(
   {
     xmlt &f=dest.new_element("function");
     f.new_element("identifier").data=id2string(f_it->first);
-    value_set_analysis.convert(f_it->second.body, f_it->first, f);
+    value_set_analysis.convert(f_it->second.body, f);
   }
 }
 
@@ -98,6 +97,5 @@ void convert(
 
   value_set_analysis.convert(
     goto_program,
-    "",
     dest.new_element("program"));
 }

src/pointer-analysis/value_set_analysis.h

@@ -23,7 +23,6 @@ class xmlt;
 void value_sets_to_xml(
   std::function<const value_sett &(goto_programt::const_targett)> get_value_set,
   const goto_programt &goto_program,
-  const irep_idt &identifier,
   xmlt &dest);
 
 template<class VSDT>
@@ -42,13 +41,11 @@ class value_set_analysis_templatet:
 
   void convert(
     const goto_programt &goto_program,
-    const irep_idt &identifier,
     xmlt &dest) const
   {
     value_sets_to_xml(
       [this](locationt l) { return (*this)[l].value_set; },
       goto_program,
-      identifier,
       dest);
   }