12 #ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H 13 #define CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H 20 #endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H void remove_unreachable(goto_programt &goto_program)
remove unreachable code
Goto Programs with Functions.
A specialization of goto_program_templatet over goto programs in which instructions have codet type...