cprover
|
List all unreachable instructions. More...
#include <iosfwd>
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) |
bool | static_unreachable_instructions (const goto_modelt &, const ai_baset &, const optionst &, std::ostream &) |
bool | static_unreachable_functions (const goto_modelt &, const ai_baset &, const optionst &, std::ostream &) |
bool | static_reachable_functions (const goto_modelt &, const ai_baset &, const optionst &, std::ostream &) |
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 387 of file unreachable_instructions.cpp.
bool static_reachable_functions | ( | const goto_modelt & | , |
const ai_baset & | , | ||
const optionst & | , | ||
std::ostream & | |||
) |
Definition at line 435 of file unreachable_instructions.cpp.
bool static_unreachable_functions | ( | const goto_modelt & | , |
const ai_baset & | , | ||
const optionst & | , | ||
std::ostream & | |||
) |
Definition at line 421 of file unreachable_instructions.cpp.
bool static_unreachable_instructions | ( | const goto_modelt & | , |
const ai_baset & | , | ||
const optionst & | , | ||
std::ostream & | |||
) |
Definition at line 198 of file unreachable_instructions.cpp.
void unreachable_functions | ( | const goto_modelt & | , |
const bool | json, | ||
std::ostream & | os | ||
) |
Definition at line 373 of file unreachable_instructions.cpp.
void unreachable_instructions | ( | const goto_modelt & | , |
const bool | json, | ||
std::ostream & | os | ||
) |
Definition at line 153 of file unreachable_instructions.cpp.