remove_unreachable.cpp File Reference

#include <goto-programs/remove_unreachable.h>
#include <set>
#include <stack>
#include <util/base/prefix.h>

Include dependency graph for remove_unreachable.cpp:

Functions
void	remove_unreachable (goto_functionst &goto_functions, bool continue_past_failed_assertions)
	continue_past_failed_assertions is set when claims past a violation are still checked (coverage), so that an ASSERT false does not end its path.
void	remove_unreachable (goto_functiont &goto_function, bool continue_past_failed_assertions)
void	remove_unreachable (goto_programt &goto_program, bool continue_past_failed_assertions)

Function Documentation

remove_unreachable() [1/3]

void remove_unreachable	(	goto_functionst &	goto_functions,
		bool	continue_past_failed_assertions )

continue_past_failed_assertions is set when claims past a violation are still checked (coverage), so that an ASSERT false does not end its path.

remove_unreachable() [2/3]

void remove_unreachable	(	goto_functiont &	goto_function,
		bool	continue_past_failed_assertions )

remove_unreachable() [3/3]

void remove_unreachable	(	goto_programt &	goto_program,
		bool	continue_past_failed_assertions )