CBMC: Member List

gcc_asm_function_call(const irep_idt &function_base_name, const code_asm_gcct &code, std::size_t n_args, goto_programt &dest) remove_asmt protected

goto_functions remove_asmt protected

message_handler remove_asmt protected

msc_asm_function_call(const irep_idt &function_base_name, const exprt::operandst &operands, const code_asmt &code, goto_programt &dest) remove_asmt protected

operator()() remove_asmt inline

process_function(const irep_idt &, goto_functionst::goto_functiont &) remove_asmt protected

process_instruction(const irep_idt &function_id, goto_programt::instructiont &instruction, goto_programt &dest) remove_asmt protected

process_instruction_gcc(const code_asm_gcct &, goto_programt &dest) remove_asmt protected

process_instruction_msc(const irep_idt &, const code_asmt &, goto_programt &dest) remove_asmt protected

remove_asmt(symbol_tablet &_symbol_table, goto_functionst &_goto_functions, message_handlert &message_handler) remove_asmt inline

symbol_table remove_asmt protected