unused argument

kroening · kroening · commit e2d9bbacbf4f · 2016-11-13T13:10:16.000Z
diff --git a/src/java_bytecode/java_bytecode_convert_method.cpp b/src/java_bytecode/java_bytecode_convert_method.cpp
@@ -96,8 +96,10 @@ class java_bytecode_convert_methodt:public messaget
   } instruction_sizet;
 
   // return corresponding reference of variable
-  variablet &find_variable_for_slot(unsigned number_int, size_t address,
-                                    variablest &var_list, instruction_sizet inst_size)
+  variablet &find_variable_for_slot(
+    size_t address,
+    variablest &var_list,
+    instruction_sizet inst_size)
   {
     for(variablet &var : var_list)
     {
@@ -127,7 +129,8 @@ class java_bytecode_convert_methodt:public messaget
     variablest &var_list = variables[number_int];
 
     // search variable in list for correct frame / address if necessary
-    variablet &var = find_variable_for_slot(number_int, address, var_list, inst_size);
+    variablet &var =
+      find_variable_for_slot(address, var_list, inst_size);
 
     if(var.symbol_expr.get_identifier().empty())
     {

Original file line number	Diff line number	Diff line change
`@@ -96,8 +96,10 @@ class java_bytecode_convert_methodt:public messaget`
`96`	`96`	`} instruction_sizet;`
`97`	`97`
`98`	`98`	`// return corresponding reference of variable`
`99`		`- variablet &find_variable_for_slot(unsigned number_int, size_t address,`
`100`		`- variablest &var_list, instruction_sizet inst_size)`
	`99`	`+ variablet &find_variable_for_slot(`
	`100`	`+ size_t address,`
	`101`	`+ variablest &var_list,`
	`102`	`+ instruction_sizet inst_size)`
`101`	`103`	`{`
`102`	`104`	`for(variablet &var : var_list)`
`103`	`105`	`{`
`@@ -127,7 +129,8 @@ class java_bytecode_convert_methodt:public messaget`
`127`	`129`	`variablest &var_list = variables[number_int];`
`128`	`130`
`129`	`131`	`// search variable in list for correct frame / address if necessary`
`130`		`- variablet &var = find_variable_for_slot(number_int, address, var_list, inst_size);`
	`132`	`+ variablet &var =`
	`133`	`+ find_variable_for_slot(address, var_list, inst_size);`
`131`	`134`
`132`	`135`	`if(var.symbol_expr.get_identifier().empty())`
`133`	`136`	`{`