Loading...

Searching...

No Matches

remove_unused_functions.cpp File Reference

Unused function removal. More...

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

+ Include dependency graph for remove_unused_functions.cpp:

Functions

Detailed Description

Unused function removal.

void find_used_functions ( const irep_idt & start,

goto_functionst & functions,

std::set< irep_idt > & seen

)

void remove_unused_functions ( goto_functionst & functions,

message_handlert & message_handler

)

void remove_unused_functions ( goto_modelt & goto_model,

message_handlert & message_handler

)