File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -777,6 +777,7 @@ code_blockt get_user_specified_clinit_body(
777
777
std::unordered_map<std::string, object_creation_referencet> &references)
778
778
{
779
779
jsont json;
780
+ const irep_idt &real_clinit_name = clinit_function_name (class_id);
780
781
if (
781
782
!static_values_file.empty () &&
782
783
!parse_json (static_values_file, message_handler, json) && json.is_object ())
@@ -814,7 +815,7 @@ code_blockt get_user_specified_clinit_body(
814
815
assign_from_json (
815
816
value_pair.first ,
816
817
value_pair.second ,
817
- clinit_function_name (class_id) ,
818
+ real_clinit_name ,
818
819
body,
819
820
symbol_table,
820
821
needed_lazy_methods,
@@ -825,7 +826,6 @@ code_blockt get_user_specified_clinit_body(
825
826
}
826
827
}
827
828
}
828
- const irep_idt &real_clinit_name = clinit_function_name (class_id);
829
829
if (const auto clinit_func = symbol_table.lookup (real_clinit_name))
830
830
return code_blockt{{code_function_callt{clinit_func->symbol_expr ()}}};
831
831
return code_blockt{};
You can’t perform that action at this time.
0 commit comments