cprover
|
List all unreachable instructions. More...
#include <ostream>
Go to the source code of this file.
Functions | |
void | unreachable_instructions (const goto_modelt &, const bool json, std::ostream &os) |
void | unreachable_functions (const goto_modelt &, const bool json, std::ostream &os) |
void | reachable_functions (const goto_modelt &, const bool json, std::ostream &os) |
List all unreachable instructions.
Definition in file unreachable_instructions.h.
void reachable_functions | ( | const goto_modelt & | , |
const bool | json, | ||
std::ostream & | os | ||
) |
Definition at line 258 of file unreachable_instructions.cpp.
References list_functions().
Referenced by goto_analyzer_parse_optionst::doit().
void unreachable_functions | ( | const goto_modelt & | , |
const bool | json, | ||
std::ostream & | os | ||
) |
Definition at line 250 of file unreachable_instructions.cpp.
References list_functions().
Referenced by goto_analyzer_parse_optionst::doit().
void unreachable_instructions | ( | const goto_modelt & | , |
const bool | json, | ||
std::ostream & | os | ||
) |
Definition at line 124 of file unreachable_instructions.cpp.
References add_to_json(), all_unreachable(), jsont::array, symbolt::base_name, compute_called_functions(), forall_goto_functions, goto_modelt::goto_functions, namespacet::lookup(), output_dead_plain(), goto_modelt::symbol_table, and unreachable_instructions().