cprover
|
Program Transformation. More...
Go to the source code of this file.
Functions | |
void | remove_unreachable (goto_programt &goto_program) |
remove unreachable code More... | |
void | remove_unreachable (goto_functionst &goto_functions) |
Removes unreachable instructions from all functions. More... | |
Program Transformation.
Definition in file remove_unreachable.cpp.
void remove_unreachable | ( | goto_programt & | goto_program | ) |
remove unreachable code
Definition at line 20 of file remove_unreachable.cpp.
References Forall_goto_program_instructions, goto_programt::get_successors(), goto_program, goto_programt::instructions, and goto_programt::update().
Referenced by remove_unreachable(), reachability_slicert::slice(), and static_simplifier().
void remove_unreachable | ( | goto_functionst & | goto_functions | ) |
Removes unreachable instructions from all functions.
Definition at line 64 of file remove_unreachable.cpp.
References Forall_goto_functions, goto_modelt::goto_functions, and remove_unreachable().