CVar Struct Reference

bundles static identification of a variable with its instance number More...

#include <symheap.hh>

Public Member Functions
	CVar ()
	CVar (int uid_, int inst_)

Data Fields
int	uid
	static identification of a variable
int	inst
	zero for global/static variables, instance number 1..n otherwise

Detailed Description

bundles static identification of a variable with its instance number

In order to enable call recursion, we need to distinguish among various instances of the same automatic variable in case a function is called recursively.

Definition at line 243 of file symheap.hh.

Constructor & Destructor Documentation

CVar ( )

inline

Definition at line 250 of file symheap.hh.

CVar ( int  uid_, int  inst_  )

inline

Definition at line 256 of file symheap.hh.

Field Documentation

int inst

zero for global/static variables, instance number 1..n otherwise

Definition at line 248 of file symheap.hh.

Referenced by operator<(), operator==(), and traverseProgramVarsGeneric().

int uid

static identification of a variable

Definition at line 245 of file symheap.hh.

Referenced by operator==().

---

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

• symheap.hh