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 
23 void remove_unused_functions(
24  goto_functionst &,
25  message_handlert &);
26 
27 void remove_unused_functions(
28  goto_modelt &,
29  message_handlert &);
30 
31 void find_used_functions(
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
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:36
goto_modelt
Definition: goto_model.h:25
find_used_functions
void find_used_functions(const irep_idt &current, goto_functionst &functions, std::set< irep_idt > &seen)
Definition: remove_unused_functions.cpp:57
remove_unused_functions
void remove_unused_functions(goto_functionst &, message_handlert &)
Definition: remove_unused_functions.cpp:25
message_handlert
Definition: message.h:27
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:24
irep.h