cprover
|
Public Member Functions | |
remove_asmt (symbol_tablet &_symbol_table) | |
void | process_function (goto_functionst::goto_functiont &) |
removes assembler More... | |
Protected Member Functions | |
void | process_instruction (goto_programt::instructiont &instruction, goto_programt &dest) |
removes assembler More... | |
void | gcc_asm_function_call (const irep_idt &function_base_name, const codet &code, goto_programt &dest) |
Protected Attributes | |
symbol_tablet & | symbol_table |
Definition at line 25 of file remove_asm.cpp.
|
inlineexplicit |
Definition at line 28 of file remove_asm.cpp.
|
protected |
Definition at line 48 of file remove_asm.cpp.
References symbol_table_baset::add(), goto_programt::add_instruction(), code_function_callt::arguments(), symbolt::base_name, forall_operands, code_function_callt::function(), FUNCTION_CALL, symbol_table_baset::has_symbol(), code_function_callt::lhs(), code_typet::make_ellipsis(), irept::make_nil(), symbolt::name, exprt::op1(), exprt::op2(), pointer_type(), exprt::source_location(), symbol_table, symbolt::type, and symbolt::value.
Referenced by process_instruction().
void remove_asmt::process_function | ( | goto_functionst::goto_functiont & | goto_function | ) |
removes assembler
Definition at line 280 of file remove_asm.cpp.
References Forall_goto_program_instructions, process_instruction(), and remove_skip().
Referenced by remove_asm().
|
protected |
removes assembler
Definition at line 107 of file remove_asm.cpp.
References goto_programt::add_instruction(), assembler_parser, ATOMIC_BEGIN, ATOMIC_END, assembler_parsert::clear(), goto_programt::instructiont::code, goto_programt::destructive_append(), gcc_asm_function_call(), code_asmt::get_flavor(), id2string(), parsert::in, assembler_parsert::instructions, exprt::op0(), OTHER, assembler_parsert::parse(), pos(), irept::set(), exprt::source_location(), to_code_asm(), and to_string_constant().
Referenced by process_function().
|
protected |
Definition at line 36 of file remove_asm.cpp.
Referenced by gcc_asm_function_call().