34 goto_functionst::function_mapt::iterator entry=
39 message.
error() <<
"No function " << identifier
43 else if(entry->second.is_inlined())
45 message.
warning() <<
"Function " << identifier <<
" is inlined, " 46 <<
"instantiations will not be removed" 50 if(entry->second.body_available())
52 message.
status() <<
"Removing body of " << identifier
54 entry->second.clear();
69 const std::list<std::string> &names,
72 for(
const auto &f : names)
symbolt & lookup(const irep_idt &identifier)
Find a symbol in the symbol table.
Remove function definition.
Goto Programs with Functions.
exprt value
Initial value of symbol.
static mstreamt & eom(mstreamt &m)
void remove_functions(symbol_tablet &symbol_table, goto_functionst &goto_functions, const std::list< std::string > &names, message_handlert &message_handler)
Remove the body of all functions listed in "names" such that an analysis will treat it as a side-effe...
function_mapt function_map
void remove_function(symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &identifier, message_handlert &message_handler)
Remove the body of function "identifier" such that an analysis will treat it as a side-effect free fu...