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 405 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 453 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 439 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 206 of file unreachable_instructions.cpp.

unreachable_functions()

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

Definition at line 391 of file unreachable_instructions.cpp.

unreachable_instructions()

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

Definition at line 163 of file unreachable_instructions.cpp.