12 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H 13 #define CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H 21 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H void remove_unreachable(goto_programt &goto_program)
remove unreachable code
A generic container class for the GOTO intermediate representation of one function.
goto_programt & goto_program