cprover
slice_global_inits.cpp File Reference

Remove initializations of unused global variables. More...

#include "slice_global_inits.h"
#include <unordered_set>
#include <analyses/call_graph.h>
#include <util/namespace.h>
#include <util/std_expr.h>
#include <util/cprover_prefix.h>
#include <util/prefix.h>
#include <goto-programs/goto_functions.h>
#include <goto-programs/remove_skip.h>
Include dependency graph for slice_global_inits.cpp:

Go to the source code of this file.

Functions

void slice_global_inits (const namespacet &ns, goto_functionst &goto_functions)
 

Detailed Description

Remove initializations of unused global variables.

Definition in file slice_global_inits.cpp.

Function Documentation

§ slice_global_inits()