cprover
|
Remove initializations of unused global variables. More...
Go to the source code of this file.
Functions | |
void | slice_global_inits (const namespacet &ns, goto_functionst &goto_functions) |
Remove initializations of unused global variables.
Definition in file slice_global_inits.h.
void slice_global_inits | ( | const namespacet & | ns, |
goto_functionst & | goto_functions | ||
) |
Definition at line 28 of file slice_global_inits.cpp.
References CPROVER_PREFIX, goto_functions_templatet< goto_programt >::entry_point(), forall_goto_program_instructions, Forall_goto_program_instructions, goto_functions_templatet< bodyT >::function_map, symbol_exprt::get_identifier(), goto_modelt::goto_functions, call_grapht::graph, has_prefix(), irept::id(), id2string(), code_assignt::lhs(), const_expr_visitort::operator()(), remove_skip(), to_code_assign(), to_symbol_expr(), goto_functions_templatet< bodyT >::update(), and exprt::visit().
Referenced by goto_instrument_parse_optionst::instrument_goto_program().