ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
codet representation of an inline assembler statement.
void copy(const codet &code, goto_program_instruction_typet type, goto_programt &dest)
void convert_asm(const code_asmt &code, goto_programt &dest)
A generic container class for the GOTO intermediate representation of one function.