Skip to content

Commit d0b1e0a

Browse files
committed
Do not sneak an ID_identifier entry into END_FUNCTION
We do not use this anywhere except that a regression test relied on it for no particular reason.
1 parent 2db2eb2 commit d0b1e0a

File tree

3 files changed

+1
-3
lines changed

3 files changed

+1
-3
lines changed

regression/goto-instrument/print-internal-representation/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--print-internal-representation
44
^EXIT=0$
55
^SIGNAL=0$
6-
^ \* identifier: __CPROVER_initialize$
6+
\* identifier: __CPROVER_initialize$
77
^ \* identifier: main::1::x$
88
^ \* identifier: main::1::y$
99
--

src/analyses/flow_insensitive_analysis.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -217,7 +217,6 @@ bool flow_insensitive_analysis_baset::do_function_call(
217217
r->location_number=0;
218218

219219
goto_programt::targett t=temp.add_instruction(END_FUNCTION);
220-
t->code.set(ID_identifier, code.function());
221220
t->function=f_it->first;
222221
t->location_number=1;
223222

src/goto-programs/goto_convert_functions.cpp

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -167,7 +167,6 @@ void goto_convert_functionst::convert_function(
167167
goto_programt::targett end_function=tmp_end_function.add_instruction();
168168
end_function->type=END_FUNCTION;
169169
end_function->source_location=end_location;
170-
end_function->code.set(ID_identifier, identifier);
171170

172171
targets=targetst();
173172
targets.set_return(end_function);

0 commit comments

Comments
 (0)