LocalState Struct Reference

state summary for a single location (preceding a single instruction) More...

#include <fixed_point.hh>

Collaboration diagram for LocalState:

Public Member Functions
	LocalState ()
	outgoing heap-level trace edges
	~LocalState ()
	LocalState (const LocalState &)
LocalState &	operator= (const LocalState &)

Data Fields
GenericInsn *	insn
SymHeapList	heapList
	insn using the state as input
TShapeListByHeapIdx	shapeListByHeapIdx
	union of heaps giving the state
TCfgEdgeList	cfgInEdges
	container shapes per heap
TCfgEdgeList	cfgOutEdges
	ingoing control-flow edges
TEdgeListByHeapIdx	traceInEdges
	outgoing control-flow edges
TEdgeListByHeapIdx	traceOutEdges
	ingoing heap-level trace edges

Detailed Description

state summary for a single location (preceding a single instruction)

Definition at line 113 of file fixed_point.hh.

Constructor & Destructor Documentation

LocalState ( )

inline

outgoing heap-level trace edges

Definition at line 122 of file fixed_point.hh.

~LocalState ( )

inline

Definition at line 123 of file fixed_point.hh.

References LocalState::insn.

LocalState

(

const LocalState &

)

Member Function Documentation

LocalState& operator=

(

const LocalState &

)

Field Documentation

TCfgEdgeList cfgInEdges

container shapes per heap

Definition at line 117 of file fixed_point.hh.

TCfgEdgeList cfgOutEdges

ingoing control-flow edges

Definition at line 118 of file fixed_point.hh.

SymHeapList heapList

insn using the state as input

Definition at line 115 of file fixed_point.hh.

GenericInsn* insn

Definition at line 114 of file fixed_point.hh.

Referenced by LocalState::~LocalState().

TShapeListByHeapIdx shapeListByHeapIdx

union of heaps giving the state

Definition at line 116 of file fixed_point.hh.

TEdgeListByHeapIdx traceInEdges

outgoing control-flow edges

Definition at line 119 of file fixed_point.hh.

TEdgeListByHeapIdx traceOutEdges

ingoing heap-level trace edges

Definition at line 120 of file fixed_point.hh.

---

The documentation for this struct was generated from the following file:

• fixed_point.hh