cprover
Loading...
Searching...
No Matches
remove_unused_functions.h File Reference

Unused function removal. More...

#include <set>
#include <util/irep.h>
Include dependency graph for remove_unused_functions.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void remove_unused_functions (goto_functionst &, message_handlert &)
void remove_unused_functions (goto_modelt &, message_handlert &)
void find_used_functions (const irep_idt &current, goto_functionst &functions, std::set< irep_idt > &seen)

Detailed Description

Unused function removal.

Definition in file remove_unused_functions.h.

Function Documentation

◆ find_used_functions()

void find_used_functions ( const irep_idt & current,
goto_functionst & functions,
std::set< irep_idt > & seen )

Definition at line 57 of file remove_unused_functions.cpp.

◆ remove_unused_functions() [1/2]

void remove_unused_functions ( goto_functionst & functions,
message_handlert & message_handler )

Definition at line 25 of file remove_unused_functions.cpp.

◆ remove_unused_functions() [2/2]

void remove_unused_functions ( goto_modelt & goto_model,
message_handlert & message_handler )

Definition at line 18 of file remove_unused_functions.cpp.