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:

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.

Function Documentation

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

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

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

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