cprover
unreachable_instructions.h File Reference

List all unreachable instructions. More...

#include <ostream>
Include dependency graph for unreachable_instructions.h:
This graph shows which files directly or indirectly include this file:

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)
 

Detailed Description

List all unreachable instructions.

Definition in file unreachable_instructions.h.

Function Documentation

◆ reachable_functions()

void reachable_functions ( const goto_modelt ,
const bool  json,
std::ostream &  os 
)

Definition at line 258 of file unreachable_instructions.cpp.

References json(), and list_functions().

Referenced by goto_analyzer_parse_optionst::doit().

◆ unreachable_functions()

void unreachable_functions ( const goto_modelt ,
const bool  json,
std::ostream &  os 
)

Definition at line 250 of file unreachable_instructions.cpp.

References json(), and list_functions().

Referenced by goto_analyzer_parse_optionst::doit().

◆ unreachable_instructions()