dependence_graph.cpp File Reference

Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010. More...

#include "dependence_graph.h"
#include <cassert>
#include <util/container_utils.h>
#include <util/json.h>
#include <util/json_expr.h>
#include "goto_rw.h"

Include dependency graph for dependence_graph.cpp:

Go to the source code of this file.

Functions
static bool	may_be_def_use_pair (const mp_integer &w_start, const mp_integer &w_end, const mp_integer &r_start, const mp_integer &r_end)

Detailed Description

Field-Sensitive Program Dependence Analysis, Litvak et al., FSE 2010.

Definition in file dependence_graph.cpp.

Function Documentation

may_be_def_use_pair()

static bool may_be_def_use_pair ( const mp_integer &  w_start, const mp_integer &  w_end, const mp_integer &  r_start, const mp_integer &  r_end  )

static

Definition at line 132 of file dependence_graph.cpp.