CBMC
remove_asmt Member List

This is the complete list of members for remove_asmt, including all inherited members.

gcc_asm_function_call(const irep_idt &function_base_name, const code_asm_gcct &code, goto_programt &dest)remove_asmtprotected
goto_functionsremove_asmtprotected
msc_asm_function_call(const irep_idt &function_base_name, const code_asmt &code, goto_programt &dest)remove_asmtprotected
operator()()remove_asmtinline
process_function(goto_functionst::goto_functiont &)remove_asmtprotected
process_instruction(goto_programt::instructiont &instruction, goto_programt &dest)remove_asmtprotected
process_instruction_gcc(const code_asm_gcct &, goto_programt &dest)remove_asmtprotected
process_instruction_msc(const code_asmt &, goto_programt &dest)remove_asmtprotected
remove_asmt(symbol_tablet &_symbol_table, goto_functionst &_goto_functions)remove_asmtinline
symbol_tableremove_asmtprotected