Loading...

Searching...

No Matches

dependence_graph.cpp File Reference

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

#include "dependence_graph.h"
#include <util/container_utils.h>
#include <util/json_irep.h>
#include "goto_rw.h"

+ Include dependency graph for dependence_graph.cpp:

Classes

This ensures that all domains are constructed with the node ID that links them to the graph part of the dependency graph. More...

Functions

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

static bool may_be_def_use_pair ( const range_spect & w_start,

const range_spect & w_end,

const range_spect & r_start,

const range_spect & r_end

)

static

Definition at line 127 of file dependence_graph.cpp.