funct_state_d Class Reference

Public Member Functions
	funct_state_d ()
	funct_state_d (const funct_state_d &s)

Data Fields
enum pure_const_state_e	pure_const_state
enum pure_const_state_e	state_previously_known
bool	looping_previously_known
bool	looping
bool	can_throw
bool	can_free
enum malloc_state_e	malloc_state

Detailed Description

Holder for the const_state.  There is one of these per function
decl.   

Constructor & Destructor Documentation

funct_state_d() [1/2]

funct_state_d::funct_state_d ( )

inline

References can_free, can_throw, IPA_NEITHER, looping, looping_previously_known, malloc_state, pure_const_state, STATE_MALLOC_BOTTOM, state_previously_known, and true.

Referenced by funct_state_d().

funct_state_d() [2/2]

funct_state_d::funct_state_d ( const funct_state_d & s )

inline

References can_free, can_throw, funct_state_d(), looping, looping_previously_known, malloc_state, pure_const_state, and state_previously_known.

Field Documentation

can_free

bool funct_state_d::can_free

Referenced by funct_state_d(), funct_state_d(), and pure_const_write_summary().

can_throw

bool funct_state_d::can_throw

Referenced by funct_state_d(), funct_state_d(), and pure_const_write_summary().

looping

bool funct_state_d::looping

Referenced by funct_state_d(), funct_state_d(), and pure_const_write_summary().

looping_previously_known

bool funct_state_d::looping_previously_known

Referenced by funct_state_d(), funct_state_d(), and pure_const_write_summary().

malloc_state

enum malloc_state_e funct_state_d::malloc_state

Referenced by funct_state_summary_t::duplicate(), funct_state_d(), funct_state_d(), and pure_const_write_summary().

pure_const_state

enum pure_const_state_e funct_state_d::pure_const_state

Referenced by funct_state_d(), funct_state_d(), and pure_const_write_summary().

state_previously_known

enum pure_const_state_e funct_state_d::state_previously_known

Referenced by funct_state_d(), funct_state_d(), and pure_const_write_summary().

---

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

• ipa-pure-const.cc