CBMC
remove_returnst Member List

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_returnstprotected
get_or_create_return_value_symbol(const irep_idt &function_id)remove_returnstprotected
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_returnstinlineexplicit
replace_returns(const irep_idt &function_id, goto_functionst::goto_functiont &function)remove_returnstprotected
restore(goto_functionst &goto_functions)remove_returnst
restore_returns(const irep_idt &function_id, goto_programt &goto_program)remove_returnstprotected
symbol_tableremove_returnstprotected
undo_function_calls(goto_programt &goto_program)remove_returnstprotected