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 <ostream>
18 
19 class goto_modelt;
20 
22  const goto_modelt &,
23  const bool json,
24  std::ostream &os);
25 
27  const goto_modelt &,
28  const bool json,
29  std::ostream &os);
30 
32  const goto_modelt &,
33  const bool json,
34  std::ostream &os);
35 
36 #endif // CPROVER_GOTO_ANALYZER_UNREACHABLE_INSTRUCTIONS_H
void reachable_functions(const goto_modelt &, const bool json, std::ostream &os)
void unreachable_functions(const goto_modelt &, const bool json, std::ostream &os)
void unreachable_instructions(const goto_modelt &, const bool json, std::ostream &os)
json_objectt json(const source_locationt &location)
Definition: json_expr.cpp:23