remove_unreachable.h File Reference

#include <goto-programs/goto_functions.h>

Include dependency graph for remove_unreachable.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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 )