#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 &goto_model, message_handlert &message_handler) |
Remove initialization of global variables that are not used in any function reachable from the entry point of goto_model. More... | |
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 & | goto_model, |
| message_handlert & | message_handler | ||
| ) |
Remove initialization of global variables that are not used in any function reachable from the entry point of goto_model.
Warnings are reported via message_handler.
Definition at line 29 of file slice_global_inits.cpp.
