cprover
unreachable_instructions.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: List all unreachable instructions
4 
5 Author: Michael Tautschnig
6 
7 Date: April 2016
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
15 #define CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
16 
17 #include <iosfwd>
18 
19 class ai_baset;
20 class goto_modelt;
21 class message_handlert;
22 class optionst;
23 
25  const goto_modelt &,
26  const bool json,
27  std::ostream &os);
28 
30  const goto_modelt &,
31  const bool json,
32  std::ostream &os);
33 
35  const goto_modelt &,
36  const bool json,
37  std::ostream &os);
38 
40  const goto_modelt &,
41  const ai_baset &,
42  const optionst &,
43  std::ostream &);
44 
46  const goto_modelt &,
47  const ai_baset &,
48  const optionst &,
49  std::ostream &);
50 
52  const goto_modelt &,
53  const ai_baset &,
54  const optionst &,
55  std::ostream &);
56 
57 #endif // CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
optionst
Definition: options.h:23
reachable_functions
void reachable_functions(const goto_modelt &, const bool json, std::ostream &os)
Definition: unreachable_instructions.cpp:387
static_reachable_functions
bool static_reachable_functions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)
Definition: unreachable_instructions.cpp:435
goto_modelt
Definition: goto_model.h:26
static_unreachable_functions
bool static_unreachable_functions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)
Definition: unreachable_instructions.cpp:421
json
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
Definition: properties.cpp:114
message_handlert
Definition: message.h:28
unreachable_functions
void unreachable_functions(const goto_modelt &, const bool json, std::ostream &os)
Definition: unreachable_instructions.cpp:373
unreachable_instructions
void unreachable_instructions(const goto_modelt &, const bool json, std::ostream &os)
Definition: unreachable_instructions.cpp:153
ai_baset
This is the basic interface of the abstract interpreter with default implementations of the core func...
Definition: ai.h:119
static_unreachable_instructions
bool static_unreachable_instructions(const goto_modelt &, const ai_baset &, const optionst &, std::ostream &)
Definition: unreachable_instructions.cpp:198