remove_unused_functions.h File Reference

Unused function removal. More...

#include <util/message.h>
#include <goto-programs/goto_functions.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 &functions, message_handlert &message_handler)
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 48 of file remove_unused_functions.cpp.

References find_used_functions(), forall_goto_program_instructions, code_function_callt::function(), FUNCTION_CALL, goto_functions_templatet< bodyT >::function_map, irept::get(), irept::id(), to_code(), and to_code_function_call().

Referenced by find_used_functions(), and remove_unused_functions().

remove_unused_functions()

void remove_unused_functions	(	goto_functionst &	functions,
		message_handlert &	message_handler
	)

Definition at line 16 of file remove_unused_functions.cpp.

References goto_functions_templatet< goto_programt >::entry_point(), messaget::eom(), find_used_functions(), goto_functions_templatet< bodyT >::function_map, and messaget::statistics().

Referenced by goto_instrument_parse_optionst::doit(), symex_parse_optionst::process_goto_program(), and cbmc_parse_optionst::process_goto_program().