12 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H 13 #define CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H 26 std::set<irep_idt> &seen);
28 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H void remove_unused_functions(goto_functionst &functions, message_handlert &message_handler)
Goto Programs with Functions.
void find_used_functions(const irep_idt ¤t, goto_functionst &functions, std::set< irep_idt > &seen)