Merge pull request #3368 from tautschnig/vs-unused

Remove unused parameter array_component_element_type_name [blocks: #2310]

Author: tautschnig

jbmc/unit/java-testing-utils/load_java_class.cpp

@@ -98,14 +98,12 @@ goto_modelt load_goto_model_from_java_class(
 
   // Construct a lazy_goto_modelt
   lazy_goto_modelt lazy_goto_model(
-    [](goto_model_functiont &function, const abstract_goto_modelt &model) {},
-    [](goto_modelt &goto_model) { return false; },
-    [](const irep_idt &name) { return false; },
-    [](
-      const irep_idt &function_name,
-      symbol_table_baset &symbol_table,
-      goto_functiont &function,
-      bool body_available) { return false; },
+    [](goto_model_functiont &, const abstract_goto_modelt &) {},
+    [](goto_modelt &) { return false; },
+    [](const irep_idt &) { return false; },
+    [](const irep_idt &, symbol_table_baset &, goto_functiont &, bool) {
+      return false;
+    },
     null_message_handler);
 
   // Configure the path loading

jbmc/unit/java-testing-utils/require_goto_statements.cpp

@@ -383,7 +383,6 @@ const irep_idt &require_goto_statements::require_struct_component_assignment(
 /// \param superclass_name The name of its superclass (if given)
 /// \param array_component_name The name of the array field of the superclass
 /// \param array_type_name The type of the array, e.g., java::array[reference]
-/// \param array_component_element_type_name The element type of the array
 /// \param entry_point_instructions The statements to look through
 /// \param symbol_table: A symbol table to enable type lookups
 /// \return The identifier of the variable assigned to the field
@@ -393,7 +392,6 @@ require_goto_statements::require_struct_array_component_assignment(
   const optionalt<irep_idt> &superclass_name,
   const irep_idt &array_component_name,
   const irep_idt &array_type_name,
-  const irep_idt &array_component_element_type_name,
   const std::vector<codet> &entry_point_instructions,
   const symbol_tablet &symbol_table)
 {

jbmc/unit/java-testing-utils/require_goto_statements.h

@@ -91,7 +91,6 @@ const irep_idt &require_struct_array_component_assignment(
   const optionalt<irep_idt> &superclass_name,
   const irep_idt &array_component_name,
   const irep_idt &array_type_name,
-  const irep_idt &array_component_element_type_name,
   const std::vector<codet> &entry_point_instructions,
   const symbol_tablet &symbol_table);
 

jbmc/unit/java_bytecode/goto_program_generics/generic_parameters_test.cpp

@@ -71,7 +71,6 @@ SCENARIO(
             {},
             "array_field",
             "java::array[reference]",
-            "java::IWrapper",
             entry_point_code,
             symbol_table);
         }