void convert_asm(const code_asmt &code, goto_programt &dest)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
An inline assembler statement.
void copy(const codet &code, goto_program_instruction_typet type, goto_programt &dest)