Skip to content

Commit 14f0e63

Browse files
author
Daniel Kroening
committed
added a source location
1 parent cdbae91 commit 14f0e63

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/ansi-c/ansi_c_entry_point.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,8 @@ exprt::operandst build_function_environment(
8080
input.op0()=address_of_exprt(
8181
index_exprt(string_constantt(base_name), gen_zero(index_type())));
8282
input.op1()=symbol_expr;
83+
input.add_source_location()=p.source_location();
84+
8385
init_code.move_to_operands(input);
8486

8587
result[i]=symbol_expr;

0 commit comments

Comments
 (0)