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	extra_debug = false
static bool	meet_debug = false
static bool	transfer_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 18 of file ManagerICFGReachConsts.cpp.

Referenced by OA::ReachConsts::ManagerICFGReachConsts::callerToCallee(), OA::ReachConsts::ManagerICFGReachConsts::callToReturn(), OA::ReachConsts::ManagerICFGReachConsts::ManagerICFGReachConsts(), OA::ReachConsts::ManagerInterReachConsts::ManagerInterReachConsts(), OA::ReachConsts::ConstDefSet::replace(), and OA::ReachConsts::ManagerReachConstsStandard::transfer().

bool OA::ReachConsts::extra_debug = false [static]

Definition at line 27 of file ManagerReachConstsStandard.cpp.

bool OA::ReachConsts::meet_debug = false [static]

Definition at line 28 of file ManagerReachConstsStandard.cpp.

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

bool OA::ReachConsts::transfer_debug = false [static]

Definition at line 29 of file ManagerReachConstsStandard.cpp.

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