cprover
|
Remove initializations of unused global variables. More...
#include "slice_global_inits.h"
#include <analyses/call_graph.h>
#include <util/find_symbols.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include <util/cprover_prefix.h>
#include <util/prefix.h>
#include <util/invariant.h>
#include <goto-programs/goto_functions.h>
#include <goto-programs/remove_skip.h>
#include <linking/static_lifetime_init.h>
Go to the source code of this file.
Functions | |
void | slice_global_inits (goto_modelt &goto_model) |
Remove initializations of unused global variables.
Definition in file slice_global_inits.cpp.
void slice_global_inits | ( | goto_modelt & | goto_model | ) |
Definition at line 31 of file slice_global_inits.cpp.