CBMC: Member List

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