cprover
Loading...
Searching...
No Matches
unreachable_instructions.h File Reference

List all unreachable instructions. More...

#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 & goto_model,
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 & goto_model,
const ai_baset & ai,
const optionst & options,
std::ostream & out )

Definition at line 451 of file unreachable_instructions.cpp.

◆ static_unreachable_functions()

bool static_unreachable_functions ( const goto_modelt & goto_model,
const ai_baset & ai,
const optionst & options,
std::ostream & out )

Definition at line 437 of file unreachable_instructions.cpp.

◆ static_unreachable_instructions()

bool static_unreachable_instructions ( const goto_modelt & goto_model,
const ai_baset & ai,
const optionst & options,
std::ostream & out )

Definition at line 204 of file unreachable_instructions.cpp.

◆ unreachable_functions()

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

Definition at line 389 of file unreachable_instructions.cpp.

◆ unreachable_instructions()

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

Definition at line 161 of file unreachable_instructions.cpp.