remove_function.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Remove function definition
 
Author: Michael Tautschnig
 
Date: April 2017
 
\*******************************************************************/
 
 
#include "remove_function.h"
 
#include <util/message.h>
 
#include <goto-programs/goto_model.h>
 
void remove_function(
  goto_modelt &goto_model,
  const irep_idt &identifier,
  message_handlert &message_handler)
{
  messaget message(message_handler);
 
  goto_functionst::function_mapt::iterator entry=
    goto_model.goto_functions.function_map.find(identifier);
 
  if(entry==goto_model.goto_functions.function_map.end())
  {
    message.error() << "No function " << identifier
                    << " in goto program" << messaget::eom;
    return;
  }
  else if(to_code_type(goto_model.symbol_table.lookup_ref(identifier).type)
            .get_inlined())
  {
    message.warning() << "Function " << identifier << " is inlined, "
                      << "instantiations will not be removed"
                      << messaget::eom;
  }
 
  if(entry->second.body_available())
  {
    message.status() << "Removing body of " << identifier
                     << messaget::eom;
    entry->second.clear();
    symbolt &symbol = goto_model.symbol_table.get_writeable_ref(identifier);
    symbol.value.make_nil();
    symbol.is_file_local = false;
  }
}
 
void remove_functions(
  goto_modelt &goto_model,
  const std::list<std::string> &names,
  message_handlert &message_handler)
{
  for(const auto &f : names)
    remove_function(goto_model, f, message_handler);
}