cprover
|
Remove 'asm' statements by compiling into suitable standard code. More...
#include "remove_asm.h"
#include <sstream>
#include <util/c_types.h>
#include <util/std_expr.h>
#include <ansi-c/string_constant.h>
#include <assembler/assembler_parser.h>
Go to the source code of this file.
Classes | |
class | remove_asmt |
Functions | |
void | remove_asm (symbol_tablet &symbol_table, goto_functionst &goto_functions) |
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.cpp.
void remove_asm | ( | symbol_tablet & | symbol_table, |
goto_functionst & | goto_functions | ||
) |
removes assembler
Definition at line 317 of file remove_asm.cpp.
References remove_asmt::remove_asmt().
Referenced by goto_fence_inserter_parse_optionst::instrument_goto_program(), goto_instrument_parse_optionst::instrument_goto_program(), goto_diff_parse_optionst::process_goto_program(), goto_analyzer_parse_optionst::process_goto_program(), and cbmc_parse_optionst::process_goto_program().
void remove_asm | ( | goto_modelt & | goto_model | ) |
removes assembler
Definition at line 325 of file remove_asm.cpp.
References goto_modelt::goto_functions, remove_asmt::remove_asmt(), and goto_modelt::symbol_table.