64 new_call.function().drop_source_location();
68 result.
add(std::move(input));
70 return std::move(result);
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A codet representing sequential composition of program statements.
void add(const codet &code)
goto_instruction_codet representation of a function call statement.
A codet representing a skip statement.
Data structure for representing an arbitrary statement in a program.
depth_iteratort depth_end()
depth_iteratort depth_begin()
Forward depth-first search iterators These iterators' copy operations are expensive,...
const code_function_callt & to_code_function_call(const goto_instruction_codet &code)
bool is_clinit_wrapper_function(const irep_idt &function_id)
Check if function_id is a clinit wrapper.
codet lift_clinit_calls(codet input)
file Static initializer call lifting