cprover
|
Program Transformation. More...
#include "goto_functions.h"
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_programt & | goto_program | ) |
remove unreachable code
Definition at line 18 of file remove_unreachable.cpp.
References Forall_goto_program_instructions, goto_program_templatet< codeT, guardT >::get_successors(), and goto_program_templatet< codeT, guardT >::instructions.
Referenced by remove_unreachable(), and reachability_slicert::slice().
void remove_unreachable | ( | goto_functionst & | goto_functions | ) |
Removes unreachable instructions from all functions.
Definition at line 55 of file remove_unreachable.cpp.
References Forall_goto_functions, and remove_unreachable().