Remove unused parameter from value_set_fivrt::flatten_rec

Author: tautschnig

src/pointer-analysis/value_set_fivr.cpp

@@ -221,7 +221,7 @@ void value_set_fivrt::flatten(
   #endif
 
   flatten_seent seen;
-  flatten_rec(e, dest, seen, from_function, from_target_index);
+  flatten_rec(e, dest, seen, from_function);
 
   #if 0
   std::cout << "FLATTEN: Done.\n";
@@ -232,8 +232,7 @@ void value_set_fivrt::flatten_rec(
   const entryt &e,
   object_mapt &dest,
   flatten_seent &seen,
-  unsigned at_function,
-  unsigned at_index) const
+  unsigned at_function) const
 {
   #if 0
   std::cout << "FLATTEN_REC: " << e.identifier << e.suffix << '\n';
@@ -294,7 +293,7 @@ void value_set_fivrt::flatten_rec(
             if(r_it->function==at_function)
             {
               object_mapt temp;
-              flatten_rec(fi->second, temp, seen, r_it->function, r_it->from);
+              flatten_rec(fi->second, temp, seen, r_it->function);
 
               for(object_map_dt::iterator t_it=temp.write().begin();
                   t_it!=temp.write().end();

src/pointer-analysis/value_set_fivr.h

@@ -395,8 +395,7 @@ class value_set_fivrt
     const entryt&,
     object_mapt&,
     flatten_seent&,
-    unsigned from_function,
-    unsigned from_index) const;
+    unsigned from_function) const;
 
   bool recursive_find(
     const irep_idt &ident,