CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
remove_unused_functions.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Unused function removal
4
5Author: 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
19class goto_functionst;
20class goto_modelt;
21class message_handlert;
22
23void remove_unused_functions(
24 goto_functionst &,
25 message_handlert &);
26
27void remove_unused_functions(
28 goto_modelt &,
29 message_handlert &);
30
31void 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:38
goto_functionst
A collection of goto functions.
Definition goto_functions.h:25
goto_modelt
Definition goto_model.h:27
message_handlert
Definition message.h:27
remove_unused_functions
void remove_unused_functions(goto_functionst &, message_handlert &)
Definition remove_unused_functions.cpp: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