OA::ReachConsts Namespace Reference

Classes
class	ReachConstsIRInterface
class	Interface
class	InterReachConsts
class	ManagerICFGReachConsts
class	ManagerInterReachConsts
class	ManagerReachConstsStandard
class	ConstDef
	Associates a location pointer with a constValBasic pointer. More...
class	ConstDefSet
	Set of ConstDef* (intended for use with CFGDFProblem, core data. More...
class	ConstDefSetIterator
	Iterator over ConstDef's in a ConstDefSet. More...
class	ReachConstsStandard

Enumerations
enum	ConstDefType { TOP, VALUE, BOTTOM }
	for a ConstDef ( really location-const pair ) const will not have More...

Variables
static bool	debug = false
static bool	debug = false
static bool	debug = false
static bool	extra_debug = false
static bool	meet_debug = false
static bool	transfer_debug = false
static bool	debug = false

Enumeration Type Documentation

enum OA::ReachConsts::ConstDefType

for a ConstDef ( really location-const pair ) const will not have

Enumerator
TOP
VALUE
BOTTOM

Definition at line 46 of file ReachConstsStandard.hpp.

Variable Documentation

bool OA::ReachConsts::debug = false

static

Definition at line 21 of file ManagerICFGReachConsts.cpp.

Referenced by OA::ReachConsts::ManagerICFGReachConsts::calleeToCaller(), OA::ReachConsts::ManagerICFGReachConsts::callerToCallee(), OA::ReachConsts::ManagerICFGReachConsts::callToReturn(), OA::ReachConsts::ConstDef::ConstDef(), OA::ReachConsts::ManagerReachConstsStandard::initializeBottom(), OA::ReachConsts::ManagerReachConstsStandard::initializeTop(), OA::ReachConsts::ManagerReachConstsStandard::initializeTopAndBottom(), OA::ReachConsts::ManagerICFGReachConsts::ManagerICFGReachConsts(), OA::ReachConsts::ManagerInterReachConsts::ManagerInterReachConsts(), OA::ReachConsts::ManagerReachConstsStandard::ManagerReachConstsStandard(), OA::ReachConsts::ManagerICFGReachConsts::meet(), OA::ReachConsts::ConstDefSet::replace(), OA::ReachConsts::ManagerICFGReachConsts::setDefMemRef2Const(), OA::ReachConsts::ManagerICFGReachConsts::setUseMemRef2Const(), OA::ReachConsts::ManagerICFGReachConsts::transfer(), and OA::ReachConsts::ManagerReachConstsStandard::transfer().

bool OA::ReachConsts::debug = false

static

Definition at line 22 of file ReachConstsStandard.cpp.

bool OA::ReachConsts::debug = false

static

Definition at line 23 of file ManagerInterReachConsts.cpp.

bool OA::ReachConsts::debug = false

static

Definition at line 30 of file ManagerReachConstsStandard.cpp.

bool OA::ReachConsts::extra_debug = false

static

Definition at line 31 of file ManagerReachConstsStandard.cpp.

bool OA::ReachConsts::meet_debug = false

static

Definition at line 32 of file ManagerReachConstsStandard.cpp.

Referenced by OA::ReachConsts::ManagerReachConstsStandard::meet().

bool OA::ReachConsts::transfer_debug = false

static

Definition at line 33 of file ManagerReachConstsStandard.cpp.

Referenced by OA::ReachConsts::ManagerReachConstsStandard::setDefMemRef2Const(), OA::ReachConsts::ManagerReachConstsStandard::setUseMemRef2Const(), and OA::ReachConsts::ManagerReachConstsStandard::transfer().