CBMC
Functions
unreachable_instructions.h File Reference
#include <iosfwd>
+ 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)
 
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 &)
 

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 403 of file unreachable_instructions.cpp.

◆ static_reachable_functions()

bool static_reachable_functions ( const goto_modelt &  ,
const ai_baset &  ,
const optionst &  ,
std::ostream &   
)

Definition at line 451 of file unreachable_instructions.cpp.

◆ static_unreachable_functions()

bool static_unreachable_functions ( const goto_modelt &  ,
const ai_baset &  ,
const optionst &  ,
std::ostream &   
)

Definition at line 437 of file unreachable_instructions.cpp.

◆ static_unreachable_instructions()

bool static_unreachable_instructions ( const goto_modelt &  ,
const ai_baset &  ,
const optionst &  ,
std::ostream &   
)

Definition at line 204 of file unreachable_instructions.cpp.

◆ unreachable_functions()

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

Definition at line 389 of file unreachable_instructions.cpp.

◆ unreachable_instructions()

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

Definition at line 161 of file unreachable_instructions.cpp.