cprover
|
Remove 'asm' statements by compiling into suitable standard code. More...
#include <goto-programs/goto_functions.h>
Go to the source code of this file.
Functions | |
void | remove_asm (goto_functionst::goto_functiont &goto_function, symbol_tablet &symbol_table) |
removes assembler More... | |
void | remove_asm (goto_functionst &goto_functions, symbol_tablet &symbol_table) |
removes assembler More... | |
void | remove_asm (goto_modelt &goto_model) |
removes assembler More... | |
Remove 'asm' statements by compiling into suitable standard code.
Definition in file remove_asm.h.
void remove_asm | ( | goto_functionst::goto_functiont & | goto_function, |
symbol_tablet & | symbol_table | ||
) |
removes assembler
Definition at line 306 of file remove_asm.cpp.
References remove_asmt::process_function().
Referenced by goto_instrument_parse_optionst::do_indirect_call_and_rtti_removal(), goto_diff_parse_optionst::process_goto_program(), cbmc_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), and remove_asm().
void remove_asm | ( | goto_functionst & | goto_functions, |
symbol_tablet & | symbol_table | ||
) |
removes assembler
Definition at line 315 of file remove_asm.cpp.
References goto_functionst::function_map, and remove_asmt::process_function().
void remove_asm | ( | goto_modelt & | goto_model | ) |
removes assembler
Definition at line 323 of file remove_asm.cpp.
References goto_modelt::goto_functions, remove_asm(), and goto_modelt::symbol_table.