CBMC: /home/runner/work/cbmc/cbmc/src/ansi-c/goto-conversion/goto_asm.cpp Source File

14 void goto_convertt::convert_asm(const code_asmt &code, goto_programt &dest)

15{

16 // copy as OTHER

17 copy(code, OTHER, dest);

18}

code_asmt

codet representation of an inline assembler statement.

Definition std_code.h:1253

goto_convertt::copy

void copy(const codet &code, goto_program_instruction_typet type, goto_programt &dest)

Definition goto_convert.cpp:480

goto_convertt::convert_asm

void convert_asm(const code_asmt &code, goto_programt &dest)

Definition goto_asm.cpp:14

goto_programt

A generic container class for the GOTO intermediate representation of one function.

Definition goto_program.h:72

goto_convert_class.h

Program Transformation.

OTHER

@ OTHER

Definition goto_program.h:36