Skip to content

Commit dcbb086

Browse files
mmueslydanpoe
authored andcommitted
Add meaningfull names instead of id_X
1 parent ba09d52 commit dcbb086

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/memory-analyzer/analyze_symbol.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -235,6 +235,7 @@ exprt symbol_analyzert::declare_and_initalize_char_ptr(
235235

236236
code_declt target_object =
237237
declare_instance(id2string(symbol.get_identifier()), init.type());
238+
238239
target_object.operands().resize(2);
239240
target_object.op1() = init;
240241
generated_code.add(target_object);

0 commit comments

Comments
 (0)