cprover
|
Remove initializations of unused global variables. More...
Go to the source code of this file.
Functions | |
void | slice_global_inits (goto_modelt &) |
Remove initializations of unused global variables.
Definition in file slice_global_inits.h.
void slice_global_inits | ( | goto_modelt & | ) |
Definition at line 29 of file slice_global_inits.cpp.
References CPROVER_PREFIX, call_grapht::create_from_root_function(), goto_functionst::entry_point(), find_symbols(), forall_goto_program_instructions, Forall_goto_program_instructions, goto_functionst::function_map, call_grapht::get_directed_graph(), symbol_exprt::get_identifier(), goto_modelt::goto_functions, goto_program, has_prefix(), id2string(), INITIALIZE_FUNCTION, INVARIANT, code_assignt::lhs(), remove_skip(), to_code_assign(), and to_symbol_expr().
Referenced by goto_instrument_parse_optionst::instrument_goto_program().