Skip to content

Commit cec0869

Browse files
committed
Do not take a reference to a temporary
symbolt::symbol_expr returns and expression by value.
1 parent 21811fa commit cec0869

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

jbmc/src/java_bytecode/java_bytecode_convert_class.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -859,7 +859,7 @@ void java_bytecode_convert_classt::add_array_types(symbol_tablet &symbol_table)
859859
local_symbol.type = java_reference_type(struct_tag_type);
860860
local_symbol.mode=ID_java;
861861
symbol_table.add(local_symbol);
862-
const auto &local_symexpr=local_symbol.symbol_expr();
862+
const auto local_symexpr = local_symbol.symbol_expr();
863863

864864
code_declt declare_cloned(local_symexpr);
865865

0 commit comments

Comments
 (0)