Merge pull request #2468 from tautschnig/vs-names

Remove names of unused parameters

Author: tautschnig

jbmc/src/java_bytecode/java_bytecode_language.cpp

@@ -165,23 +165,23 @@ std::set<std::string> java_bytecode_languaget::extensions() const
   return { "class", "jar" };
 }
 
-void java_bytecode_languaget::modules_provided(std::set<std::string> &modules)
+void java_bytecode_languaget::modules_provided(std::set<std::string> &)
 {
   // modules.insert(translation_unit(parse_path));
 }
 
 /// ANSI-C preprocessing
 bool java_bytecode_languaget::preprocess(
-  std::istream &instream,
-  const std::string &path,
-  std::ostream &outstream)
+  std::istream &,
+  const std::string &,
+  std::ostream &)
 {
   // there is no preprocessing!
   return true;
 }
 
 bool java_bytecode_languaget::parse(
-  std::istream &instream,
+  std::istream &,
   const std::string &path)
 {
   PRECONDITION(language_options_initialized);
@@ -601,7 +601,7 @@ static void create_stub_global_symbols(
 
 bool java_bytecode_languaget::typecheck(
   symbol_tablet &symbol_table,
-  const std::string &module)
+  const std::string &)
 {
   PRECONDITION(language_options_initialized);
 
@@ -1089,7 +1089,7 @@ bool java_bytecode_languaget::convert_single_method(
   return true;
 }
 
-bool java_bytecode_languaget::final(symbol_table_baset &symbol_table)
+bool java_bytecode_languaget::final(symbol_table_baset &)
 {
   PRECONDITION(language_options_initialized);
   return false;

jbmc/src/java_bytecode/java_types.h

@@ -93,7 +93,7 @@ inline annotated_typet &to_annotated_type(typet &type)
 }
 
 template <>
-inline bool can_cast_type<annotated_typet>(const typet &type)
+inline bool can_cast_type<annotated_typet>(const typet &)
 {
   return true;
 }

jbmc/src/java_bytecode/remove_exceptions.cpp

@@ -616,7 +616,7 @@ void remove_exceptions(
   remove_exceptions_typest type)
 {
   remove_exceptionst::function_may_throwt any_function_may_throw =
-    [](const irep_idt &id) { return true; };
+    [](const irep_idt &) { return true; };
 
   remove_exceptionst remove_exceptions(
     symbol_table,

src/analyses/ai.cpp

@@ -319,7 +319,7 @@ bool ai_baset::do_function_call(
   locationt l_call, locationt l_return,
   const goto_functionst &goto_functions,
   const goto_functionst::function_mapt::const_iterator f_it,
-  const exprt::operandst &arguments,
+  const exprt::operandst &,
   const namespacet &ns)
 {
   // initialize state, if necessary

src/analyses/ai.h

@@ -385,10 +385,10 @@ class ait:public ai_baset
 
   // not implemented in sequential analyses
   bool merge_shared(
-    const statet &src,
-    goto_programt::const_targett from,
-    goto_programt::const_targett to,
-    const namespacet &ns) override
+    const statet &,
+    goto_programt::const_targett,
+    goto_programt::const_targett,
+    const namespacet &) override
   {
     throw "not implemented";
   }

src/analyses/constant_propagator.cpp

@@ -224,7 +224,7 @@ void constant_propagator_domaint::transform(
 /// handles equalities and conjunctions containing equalities
 bool constant_propagator_domaint::two_way_propagate_rec(
   const exprt &expr,
-  const namespacet &ns,
+  const namespacet &,
   const constant_propagator_ait *cp)
 {
 #ifdef DEBUG
@@ -391,7 +391,7 @@ void constant_propagator_domaint::valuest::output(
 
 void constant_propagator_domaint::output(
   std::ostream &out,
-  const ai_baset &ai,
+  const ai_baset &,
   const namespacet &ns) const
 {
   values.output(out, ns);
@@ -503,8 +503,8 @@ bool constant_propagator_domaint::valuest::meet(const valuest &src)
 /// \return Return true if "this" has changed.
 bool constant_propagator_domaint::merge(
   const constant_propagator_domaint &other,
-  locationt from,
-  locationt to)
+  locationt,
+  locationt)
 {
   return values.merge(other.values);
 }

src/analyses/custom_bitvector_analysis.cpp

@@ -545,7 +545,7 @@ void custom_bitvector_domaint::transform(
 void custom_bitvector_domaint::output(
   std::ostream &out,
   const ai_baset &ai,
-  const namespacet &ns) const
+  const namespacet &) const
 {
   if(has_values.is_known())
   {
@@ -591,8 +591,8 @@ void custom_bitvector_domaint::output(
 
 bool custom_bitvector_domaint::merge(
   const custom_bitvector_domaint &b,
-  locationt from,
-  locationt to)
+  locationt,
+  locationt)
 {
   bool changed=has_values.is_false();
   has_values=tvt::unknown();

src/analyses/dependence_graph.cpp

@@ -24,8 +24,8 @@ Date: August 2013
 
 bool dep_graph_domaint::merge(
   const dep_graph_domaint &src,
-  goto_programt::const_targett from,
-  goto_programt::const_targett to)
+  goto_programt::const_targett,
+  goto_programt::const_targett)
 {
   // An abstract state at location `to` may be non-bottom even if
   // `merge(..., `to`) has not been called so far. This is due to the special
@@ -151,7 +151,7 @@ static bool may_be_def_use_pair(
 }
 
 void dep_graph_domaint::data_dependencies(
-  goto_programt::const_targett from,
+  goto_programt::const_targett,
   goto_programt::const_targett to,
   dependence_grapht &dep_graph,
   const namespacet &ns)
@@ -237,8 +237,8 @@ void dep_graph_domaint::transform(
 
 void dep_graph_domaint::output(
   std::ostream &out,
-  const ai_baset &ai,
-  const namespacet &ns) const
+  const ai_baset &,
+  const namespacet &) const
 {
   if(!control_deps.empty())
   {
@@ -275,8 +275,8 @@ void dep_graph_domaint::output(
 /// \par parameters: The abstract interpreter and the namespace.
 /// \return The domain, formatted as a JSON object.
 jsont dep_graph_domaint::output_json(
-  const ai_baset &ai,
-  const namespacet &ns) const
+  const ai_baset &,
+  const namespacet &) const
 {
   json_arrayt graph;
 

src/analyses/escape_analysis.cpp

@@ -163,9 +163,9 @@ void escape_domaint::get_rhs_aliases_address_of(
 
 void escape_domaint::transform(
   locationt from,
-  locationt to,
-  ai_baset &ai,
-  const namespacet &ns)
+  locationt,
+  ai_baset &,
+  const namespacet &)
 {
   if(has_values.is_false())
     return;
@@ -255,8 +255,8 @@ void escape_domaint::transform(
 
 void escape_domaint::output(
   std::ostream &out,
-  const ai_baset &ai,
-  const namespacet &ns) const
+  const ai_baset &,
+  const namespacet &) const
 {
   if(has_values.is_known())
   {
@@ -301,8 +301,8 @@ void escape_domaint::output(
 
 bool escape_domaint::merge(
   const escape_domaint &b,
-  locationt from,
-  locationt to)
+  locationt,
+  locationt)
 {
   bool changed=has_values.is_false();
   has_values=tvt::unknown();

src/analyses/escape_analysis.h

@@ -112,7 +112,7 @@ class escape_analysist:public ait<escape_domaint>
   void instrument(goto_modelt &);
 
 protected:
-  virtual void initialize(const goto_functionst &_goto_functions)
+  virtual void initialize(const goto_functionst &)
   {
   }