docs/api/remove__unreachable_8h_source.html

#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H

#define CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H


#include <goto-programs/goto_functions.h>


void remove_unreachable(

  goto_functionst &goto_functions,

  bool continue_past_failed_assertions);

void remove_unreachable(

  goto_functiont &goto_function,

  bool continue_past_failed_assertions);

void remove_unreachable(

  goto_programt &goto_program,

  bool continue_past_failed_assertions);


#endif

goto_functionst
Definition goto_functions.h:56

goto_functiont
Definition goto_functions.h:23

goto_programt
A generic container class for a control flow graph for one function, in the form of a goto-program.
Definition goto_program.h:63

goto_functions.h

remove_unreachable
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),...
Definition remove_unreachable.cpp:9