CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
remove_unreachable.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Program Transformation
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H
13#define CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H
14
15class goto_functionst;
16class goto_programt;
17
18void remove_unreachable(goto_programt &goto_program);
19void remove_unreachable(goto_functionst &goto_functions);
20
21#endif // CPROVER_GOTO_PROGRAMS_REMOVE_UNREACHABLE_H
goto_functionst
A collection of goto functions.
Definition goto_functions.h:25
goto_programt
A generic container class for the GOTO intermediate representation of one function.
Definition goto_program.h:73
remove_unreachable
void remove_unreachable(goto_programt &goto_program)
remove unreachable code
Definition remove_unreachable.cpp:20