CBMC
|
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.h.
void remove_unreachable | ( | goto_functionst & | goto_functions | ) |
Removes unreachable instructions from all functions.
[out] | goto_functions | The goto functions from which the unreachable functions are to be removed. |
Definition at line 63 of file remove_unreachable.cpp.
void remove_unreachable | ( | goto_programt & | goto_program | ) |
remove unreachable code
Definition at line 20 of file remove_unreachable.cpp.