slice_global_inits.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Remove initializations of unused global variables
 
Author: Daniel Poetzl
 
Date:   December 2016
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
#define CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
 
#include <util/exception_utils.h>
 
class goto_modelt;
class message_handlert;
 
class user_input_error_exceptiont : public cprover_exception_baset
{
public:
  explicit user_input_error_exceptiont(std::string message)
    : cprover_exception_baset(std::move(message))
  {
  }
  explicit user_input_error_exceptiont(std::string message) {…}
};
class user_input_error_exceptiont : public cprover_exception_baset {…};
 
void slice_global_inits(
  goto_modelt &goto_model,
  message_handlert &message_handler);
 
#endif