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()

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

Definition at line 124 of file unreachable_instructions.cpp.

References add_to_json(), all_unreachable(), jsont::array, symbolt::base_name, compute_called_functions(), forall_goto_functions, goto_modelt::goto_functions, json(), namespacet::lookup(), output_dead_plain(), goto_modelt::symbol_table, and unreachable_instructions().