remove_unused_functions.cpp File Reference

#include "remove_unused_functions.h"
#include <util/message.h>
#include "goto_model.h"

Include dependency graph for remove_unused_functions.cpp:

Go to the source code of this file.

Functions
void	remove_unused_functions (goto_modelt &goto_model, message_handlert &message_handler)
void	remove_unused_functions (goto_functionst &functions, message_handlert &message_handler)
void	find_used_functions (const irep_idt &start, goto_functionst &functions, std::set< irep_idt > &seen)

Detailed Description

Unused function removal

Definition in file remove_unused_functions.cpp.

Function Documentation

find_used_functions()

void find_used_functions	(	const irep_idt &	start,
		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.