Skip to content

Commit 5d517bf

Browse files
committed
java_string_library_preprocesst isn't a messaget
Pass a message handler as an argument to several of its functions, but do not construct a messaget object without a configured message handler as that is deprecated.
1 parent 510638c commit 5d517bf

File tree

3 files changed

+538
-27
lines changed

3 files changed

+538
-27
lines changed

jbmc/src/java_bytecode/java_bytecode_language.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1514,8 +1514,8 @@ bool java_bytecode_languaget::convert_single_method_code(
15141514
writable_symbol, cmb->get().method.local_variable_table, symbol_table);
15151515
}
15161516
// Populate body of the function with code generated by string preprocess
1517-
codet generated_code =
1518-
string_preprocess.code_for_function(writable_symbol, symbol_table);
1517+
codet generated_code = string_preprocess.code_for_function(
1518+
writable_symbol, symbol_table, message_handler);
15191519
// String solver can make calls to functions that haven't yet been seen.
15201520
// Add these to the needed_lazy_methods collection
15211521
notify_static_method_calls(generated_code, needed_lazy_methods);

0 commit comments

Comments
 (0)