cprover
Loading...
Searching...
No Matches
slice_global_inits.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Remove initializations of unused global variables
4
5Author: Daniel Poetzl
6
7Date: 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
18
19class goto_modelt;
21
23{
24public:
26 : message(std::move(message))
27 {
28 }
29
30 std::string what() const override
31 {
32 return message;
33 }
34
35private:
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.
STL namespace.
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 ...