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 
21  const namespacet &ns,
22  goto_functionst &goto_functions);
23 
24 #endif
void slice_global_inits(const namespacet &ns, goto_functionst &goto_functions)
TO_BE_DOCUMENTED.
Definition: namespace.h:62