12 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H 13 #define CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H 35 std::set<irep_idt> &seen);
37 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H
void find_used_functions(const irep_idt ¤t, goto_functionst &functions, std::set< irep_idt > &seen)
A collection of goto functions.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
void remove_unused_functions(goto_functionst &, message_handlert &)