12 #ifndef CPROVER_GOTO_INSTRUMENT_FUNCTION_H 13 #define CPROVER_GOTO_INSTRUMENT_FUNCTION_H 32 #endif // CPROVER_GOTO_INSTRUMENT_FUNCTION_H Goto Programs with Functions.
const irep_idt & id() const
void function_exit(symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &id)
void function_enter(symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &id)
class code_function_callt function_to_call(symbol_tablet &symbol_table, const irep_idt &id, const irep_idt &argument)