@@ -2536,7 +2536,6 @@ code_blockt java_bytecode_convert_methodt::convert_putstatic(
2536
2536
2537
2537
save_stack_entries (
2538
2538
" stack_static_field" ,
2539
- symbol_expr.type (),
2540
2539
block,
2541
2540
bytecode_write_typet::STATIC_FIELD,
2542
2541
symbol_expr.get_identifier ());
@@ -2551,7 +2550,6 @@ code_blockt java_bytecode_convert_methodt::convert_putfield(
2551
2550
code_blockt block;
2552
2551
save_stack_entries (
2553
2552
" stack_field" ,
2554
- op[1 ].type (),
2555
2553
block,
2556
2554
bytecode_write_typet::FIELD,
2557
2555
arg0.get (ID_component_name));
@@ -2685,7 +2683,6 @@ code_blockt java_bytecode_convert_methodt::convert_iinc(
2685
2683
const exprt &locvar = variable (arg0, ' i' , address, NO_CAST);
2686
2684
save_stack_entries (
2687
2685
" stack_iinc" ,
2688
- java_int_type (),
2689
2686
block,
2690
2687
bytecode_write_typet::VARIABLE,
2691
2688
to_symbol_expr (locvar).get_identifier ());
@@ -2851,7 +2848,6 @@ code_blockt java_bytecode_convert_methodt::convert_store(
2851
2848
2852
2849
save_stack_entries (
2853
2850
" stack_store" ,
2854
- toassign.type (),
2855
2851
block,
2856
2852
bytecode_write_typet::VARIABLE,
2857
2853
var_name);
@@ -2885,7 +2881,7 @@ code_blockt java_bytecode_convert_methodt::convert_astore(
2885
2881
block.add_source_location () = location;
2886
2882
2887
2883
save_stack_entries (
2888
- " stack_astore" , element_type, block, bytecode_write_typet::ARRAY_REF, " " );
2884
+ " stack_astore" , block, bytecode_write_typet::ARRAY_REF, " " );
2889
2885
2890
2886
code_assignt array_put (element, op[2 ]);
2891
2887
array_put.add_source_location () = location;
@@ -3133,13 +3129,11 @@ irep_idt java_bytecode_convert_methodt::get_static_field(
3133
3129
// / Create temporary variables if a write instruction can have undesired side-
3134
3130
// / effects.
3135
3131
// / \param tmp_var_prefix: The prefix string to use for new temporary variables
3136
- // / \param tmp_var_type: The type of the temporary variable.
3137
3132
// / \param[out] block: The code block the assignment is added to if required.
3138
3133
// / \param write_type: The enumeration type of the write instruction.
3139
3134
// / \param identifier: The identifier of the symbol in the write instruction.
3140
3135
void java_bytecode_convert_methodt::save_stack_entries (
3141
3136
const std::string &tmp_var_prefix,
3142
- const typet &tmp_var_type,
3143
3137
code_blockt &block,
3144
3138
const bytecode_write_typet write_type,
3145
3139
const irep_idt &identifier)
0 commit comments