CBMC
|
This is the complete list of members for remove_returnst, including all inherited members.
do_function_calls(function_is_stubt function_is_stub, goto_programt &goto_program) | remove_returnst | protected |
get_or_create_return_value_symbol(const irep_idt &function_id) | remove_returnst | protected |
operator()(goto_functionst &goto_functions) | remove_returnst | |
operator()(goto_model_functiont &model_function, function_is_stubt function_is_stub) | remove_returnst | |
remove_returnst(symbol_table_baset &_symbol_table) | remove_returnst | inlineexplicit |
replace_returns(const irep_idt &function_id, goto_functionst::goto_functiont &function) | remove_returnst | protected |
restore(goto_functionst &goto_functions) | remove_returnst | |
restore_returns(const irep_idt &function_id, goto_programt &goto_program) | remove_returnst | protected |
symbol_table | remove_returnst | protected |
undo_function_calls(goto_programt &goto_program) | remove_returnst | protected |