cprover
slice_global_inits.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Remove initializations of unused global variables
4
5
Author: Daniel Poetzl
6
7
Date: December 2016
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
15
#define CPROVER_GOTO_PROGRAMS_SLICE_GLOBAL_INITS_H
16
17
class
goto_functionst
;
18
class
namespacet
;
19
20
void
slice_global_inits
(
21
const
namespacet
&ns,
22
goto_functionst
&goto_functions);
23
24
#endif
slice_global_inits
void slice_global_inits(const namespacet &ns, goto_functionst &goto_functions)
Definition:
slice_global_inits.cpp:28
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:62
goto_functionst
Definition:
goto_functions.h:20
goto-programs
slice_global_inits.h
Generated by
1.8.14