Merge pull request #4033 from tautschnig/add_var

value_set*: remove unused second parameter of add_var

Author: tautschnig

src/pointer-analysis/value_set_fi.cpp

@@ -1264,7 +1264,7 @@ void value_set_fit::do_function_call(
   {
     const std::string identifier="value_set::" + id2string(function) + "::" +
                                  "argument$"+std::to_string(i);
-    add_var(identifier, "");
+    add_var(identifier);
     const symbol_exprt dummy_lhs(identifier, arguments[i].type());
     assign(dummy_lhs, arguments[i], ns);
   }
@@ -1282,7 +1282,7 @@ void value_set_fit::do_function_call(
     if(identifier.empty())
       continue;
 
-    add_var(identifier, "");
+    add_var(identifier);
 
     const exprt v_expr=
       symbol_exprt("value_set::" + id2string(function) + "::" +

src/pointer-analysis/value_set_fi.h

@@ -217,9 +217,9 @@ class value_set_fit
     values.clear();
   }
 
-  void add_var(const idt &id, const std::string &suffix)
+  void add_var(const idt &id)
   {
-    get_entry(id, suffix);
+    get_entry(id, "");
   }
 
   void add_var(const entryt &e)

src/pointer-analysis/value_set_fivr.cpp

@@ -1404,7 +1404,7 @@ void value_set_fivrt::do_function_call(
   {
     const std::string identifier="value_set::" + id2string(function) + "::" +
                                  "argument$"+std::to_string(i);
-    add_var(identifier, "");
+    add_var(identifier);
     const symbol_exprt dummy_lhs(identifier, arguments[i].type());
 
     assign(dummy_lhs, arguments[i], ns, true);
@@ -1429,10 +1429,10 @@ void value_set_fivrt::do_function_call(
       it++)
   {
     const irep_idt &identifier=it->get_identifier();
-    if(identifier=="")
+    if(identifier.empty())
       continue;
 
-    add_var(identifier, "");
+    add_var(identifier);
 
     const exprt v_expr=
       symbol_exprt("value_set::" + id2string(function) + "::" +

src/pointer-analysis/value_set_fivr.h

@@ -247,9 +247,9 @@ class value_set_fivrt
     values.clear();
   }
 
-  void add_var(const idt &id, const std::string &suffix)
+  void add_var(const idt &id)
   {
-    get_entry(id, suffix);
+    get_entry(id, "");
   }
 
   void add_var(const entryt &e)

src/pointer-analysis/value_set_fivrns.cpp

@@ -1065,7 +1065,7 @@ void value_set_fivrnst::do_function_call(
   {
     const std::string identifier="value_set::" + id2string(function) + "::" +
                                  "argument$"+std::to_string(i);
-    add_var(identifier, "");
+    add_var(identifier);
     const symbol_exprt dummy_lhs(identifier, arguments[i].type());
 
     assign(dummy_lhs, arguments[i], ns, true);
@@ -1090,10 +1090,10 @@ void value_set_fivrnst::do_function_call(
       it++)
   {
     const irep_idt &identifier=it->get_identifier();
-    if(identifier=="")
+    if(identifier.empty())
       continue;
 
-    add_var(identifier, "");
+    add_var(identifier);
 
     const exprt v_expr=
       symbol_exprt("value_set::" + id2string(function) + "::" +
@@ -1114,7 +1114,7 @@ void value_set_fivrnst::do_end_function(
 
   irep_idt rvs = std::string("value_set::return_value") +
                  std::to_string(from_function);
-  add_var(rvs, "");
+  add_var(rvs);
   symbol_exprt rhs(rvs, lhs.type());
 
   assign(lhs, rhs, ns);
@@ -1187,7 +1187,7 @@ void value_set_fivrnst::apply_code(
     {
       irep_idt rvs = std::string("value_set::return_value") +
                      std::to_string(from_function);
-      add_var(rvs, "");
+      add_var(rvs);
       symbol_exprt lhs(rvs, code.op0().type());
       assign(lhs, code.op0(), ns);
     }

src/pointer-analysis/value_set_fivrns.h

@@ -239,9 +239,9 @@ class value_set_fivrnst
     values.clear();
   }
 
-  void add_var(const idt &id, const std::string &suffix)
+  void add_var(const idt &id)
   {
-    get_entry(id, suffix);
+    get_entry(id, "");
   }
 
   void add_var(const entryt &e)