cprover
remove_unused_functions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Unused function removal
4 
5 Author: CM Wintersteiger
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H
13 #define CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H
14 
15 #include <util/message.h>
16 
18 
20  goto_functionst &functions,
21  message_handlert &message_handler);
22 
24  const irep_idt &current,
25  goto_functionst &functions,
26  std::set<irep_idt> &seen);
27 
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 &current, goto_functionst &functions, std::set< irep_idt > &seen)