From c789088d48c5a8b184bce76a249b3b3b0e8f0cf2 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sat, 23 Jun 2018 13:43:39 +0100
Subject: [PATCH] Remove unused parameter from value_set_fivrt::flatten_rec

---
 src/pointer-analysis/value_set_fivr.cpp | 7 +++----
 src/pointer-analysis/value_set_fivr.h   | 3 +--
 2 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/pointer-analysis/value_set_fivr.cpp b/src/pointer-analysis/value_set_fivr.cpp
index a04f5ae8b3a..6e6ba52f6b1 100644
--- a/src/pointer-analysis/value_set_fivr.cpp
+++ b/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();
diff --git a/src/pointer-analysis/value_set_fivr.h b/src/pointer-analysis/value_set_fivr.h
index c84cbb00aad..6c5c07ee543 100644
--- a/src/pointer-analysis/value_set_fivr.h
+++ b/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,