CBMC
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 <set>
16 
17 #include <util/irep.h>
18 
19 class goto_functionst;
20 class goto_modelt;
21 class message_handlert;
22 
26 
28  goto_modelt &,
30 
32  const irep_idt &current,
33  goto_functionst &functions,
34  std::set<irep_idt> &seen);
35 
36 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNUSED_FUNCTIONS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38
A collection of goto functions.
void remove_unused_functions(goto_functionst &, message_handlert &)
void find_used_functions(const irep_idt &current, goto_functionst &functions, std::set< irep_idt > &seen)