slice_global_inits.cpp File Reference

#include "slice_global_inits.h"
#include <analyses/call_graph.h>
#include <util/find_symbols.h>
#include <util/std_expr.h>
#include <util/cprover_prefix.h>
#include <util/prefix.h>
#include <linking/static_lifetime_init.h>
#include "goto_convert_functions.h"
#include "goto_functions.h"
#include "goto_model.h"

Include dependency graph for slice_global_inits.cpp:

Go to the source code of this file.

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.cpp.

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.