14 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_RETURNS_H 15 #define CPROVER_GOTO_PROGRAMS_REMOVE_RETURNS_H 21 #define RETURN_VALUE_SUFFIX "#return_value" 49 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_RETURNS_H std::function< bool(const irep_idt &)> function_is_stubt
The symbol table base class interface.
code_typet original_return_type(const symbol_table_baset &symbol_table, const irep_idt &function_id)
Get code type of a function that has had remove_returns run upon it.
void remove_returns(symbol_table_baset &, goto_functionst &)
removes returns
void restore_returns(symbol_table_baset &, goto_functionst &)
Interface providing access to a single function in a GOTO model, plus its associated symbol table...