@@ -1315,29 +1315,28 @@ code_blockt java_string_library_preprocesst::make_copy_constructor_code(
13151315 const irep_idt &function_id,
13161316 symbol_table_baset &symbol_table)
13171317{
1318- // Code for the output
1319- code_blockt code;
1318+ code_blockt copy_constructor_body;
13201319
13211320 // String expression that will hold the result
13221321 const refined_string_exprt string_expr =
1323- decl_string_expr (loc, function_id, symbol_table, code );
1322+ decl_string_expr (loc, function_id, symbol_table, copy_constructor_body );
13241323
13251324 // Assign argument to a string_expr
13261325 const java_method_typet::parameterst ¶ms = type.parameters ();
13271326 PRECONDITION (!params[0 ].get_identifier ().empty ());
13281327 PRECONDITION (!params[1 ].get_identifier ().empty ());
13291328 const symbol_exprt arg1{params[1 ].get_identifier (), params[1 ].type ()};
13301329 code_assign_java_string_to_string_expr (
1331- string_expr, arg1, loc, symbol_table, code );
1330+ string_expr, arg1, loc, symbol_table, copy_constructor_body );
13321331
13331332 // Assign string_expr to `this` object
13341333 const symbol_exprt arg_this{params[0 ].get_identifier (), params[0 ].type ()};
1335- code .add (
1334+ copy_constructor_body .add (
13361335 code_assign_string_expr_to_java_string (
13371336 arg_this, string_expr, symbol_table, true ),
13381337 loc);
13391338
1340- return code ;
1339+ return copy_constructor_body ;
13411340}
13421341
13431342// / Generates code for the String.length method
0 commit comments