cprover
slice_global_inits.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove initializations of unused global variables
4 
5 Author: Daniel Poetzl
6 
7 Date: December 2016
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
15 #define CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
16 
17 #include <util/exception_utils.h>
18 
19 class goto_modelt;
20 class message_handlert;
21 
23 {
24 public:
25  explicit user_input_error_exceptiont(std::string message)
26  : message(std::move(message))
27  {
28  }
29 
30  std::string what() const override
31  {
32  return message;
33  }
34 
35 private:
36  std::string message;
37 };
38 
43  goto_modelt &goto_model,
44  message_handlert &message_handler);
45 
46 #endif
Base class for exceptions thrown in the cprover project.
user_input_error_exceptiont(std::string message)
std::string what() const override
A human readable description of what went wrong.
void slice_global_inits(goto_modelt &goto_model, message_handlert &message_handler)
Remove initialization of global variables that are not used in any function reachable from the entry ...