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_modelt;
18 
20 
21 #endif
void slice_global_inits(goto_modelt &)