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 <set>
16
17
#include <
util/irep.h
>
18
19
class
goto_functionst
;
20
class
goto_modelt
;
21
class
message_handlert
;
22
class
symbol_tablet
;
23
24
void
remove_unused_functions
(
25
goto_functionst
&,
26
message_handlert
&);
27
28
void
remove_unused_functions
(
29
goto_modelt
&,
30
message_handlert
&);
31
32
void
find_used_functions
(
33
const
irep_idt
¤t,
34
goto_functionst
&functions,
35
std::set<irep_idt> &seen);
36
37
#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:37
symbol_tablet
The symbol table.
Definition:
symbol_table.h:20
goto_modelt
Definition:
goto_model.h:26
find_used_functions
void find_used_functions(const irep_idt ¤t, 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:28
goto_functionst
A collection of goto functions.
Definition:
goto_functions.h:23
irep.h
goto-programs
remove_unused_functions.h
Generated by
1.8.20