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