Remove initializations of unused global variables. More...
#include <util/exception_utils.h>
Include dependency graph for slice_global_inits.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | user_input_error_exceptiont |
Functions | |
| void | slice_global_inits (goto_modelt &) |
Detailed Description
Remove initializations of unused global variables.
Definition in file slice_global_inits.h.
Function Documentation
◆ slice_global_inits()
| void slice_global_inits | ( | goto_modelt & | ) |
Definition at line 31 of file slice_global_inits.cpp.
