relation_chain Class Reference

Inheritance diagram for relation_chain:

Collaboration diagram for relation_chain:

Public Member Functions
void	set_relation (relation_kind kind, tree n1, tree n2)
relation_kind	kind () const
tree	op1 () const
tree	op2 () const
relation_trio	create_trio (tree lhs, tree op1, tree op2)
bool	union_ (value_relation &p)
bool	intersect (value_relation &p)
void	negate ()
bool	apply_transitive (const value_relation &rel)
void	dump (FILE *f) const

Data Fields
relation_chain *	m_next

Private Attributes
relation_kind	related
tree	name1
tree	name2

Member Function Documentation

apply_transitive()

bool value_relation::apply_transitive ( const value_relation & rel )

inherited

References ggc_alloc(), value_relation::kind(), value_relation::name1, value_relation::name2, value_relation::related, relation_swap(), relation_transitive(), and VREL_VARYING.

create_trio()

relation_trio value_relation::create_trio ( tree lhs, tree op1, tree op2 )

inherited

References ggc_alloc(), value_relation::name1, value_relation::name2, value_relation::op1(), value_relation::op2(), value_relation::related, relation_swap(), VREL_EQ, and VREL_VARYING.

dump()

void value_relation::dump ( FILE * f ) const

inherited

References fputc(), ggc_alloc(), value_relation::kind(), value_relation::name1, value_relation::name2, value_relation::op1(), value_relation::op2(), print_generic_expr(), print_relation(), and TDF_SLIM.

Referenced by dom_oracle::dump(), equiv_oracle::dump(), relation_oracle::register_edge(), path_oracle::register_relation(), relation_oracle::register_stmt(), and dom_oracle::set_one_relation().

intersect()

bool value_relation::intersect ( value_relation & p )

inherited

References value_relation::kind(), value_relation::op1(), value_relation::op2(), value_relation::related, relation_intersect(), and relation_swap().

Referenced by dom_oracle::set_one_relation().

kind()

relation_kind value_relation::kind ( ) const

inlineinherited

References value_relation::related.

Referenced by value_relation::apply_transitive(), value_relation::dump(), dom_oracle::find_relation_block(), value_relation::intersect(), value_relation::union_(), and value_relation::value_relation().

negate()

void value_relation::negate ( )

inherited

References value_relation::related, and relation_negate().

op1()

tree value_relation::op1 ( ) const

inlineinherited

References value_relation::name1.

Referenced by value_relation::create_trio(), value_relation::dump(), dom_oracle::find_relation_block(), value_relation::intersect(), dom_oracle::register_transitives(), and value_relation::union_().

op2()

tree value_relation::op2 ( ) const

inlineinherited

References value_relation::name2.

Referenced by value_relation::create_trio(), value_relation::dump(), dom_oracle::find_relation_block(), value_relation::intersect(), dom_oracle::register_transitives(), and value_relation::union_().

set_relation()

void value_relation::set_relation ( relation_kind kind, tree n1, tree n2 )

inlineinherited

References gcc_checking_assert, value_relation::name1, value_relation::name2, r, value_relation::related, and TREE_CODE.

Referenced by path_oracle::register_relation(), dom_oracle::set_one_relation(), and value_relation::value_relation().

union_()

bool value_relation::union_ ( value_relation & p )

inherited

References value_relation::kind(), value_relation::op1(), value_relation::op2(), value_relation::related, relation_swap(), and relation_union().

Field Documentation

m_next

relation_chain* relation_chain::m_next

Referenced by dom_oracle::dump(), relation_chain_head::find_relation(), dom_oracle::find_relation_block(), path_oracle::register_relation(), dom_oracle::register_transitives(), and dom_oracle::set_one_relation().

name1

tree value_relation::name1

privateinherited

Referenced by value_relation::apply_transitive(), value_relation::create_trio(), value_relation::dump(), value_relation::op1(), value_relation::set_relation(), and value_relation::value_relation().

name2

tree value_relation::name2

privateinherited

Referenced by value_relation::apply_transitive(), value_relation::create_trio(), value_relation::dump(), value_relation::op2(), value_relation::set_relation(), and value_relation::value_relation().

related

relation_kind value_relation::related

privateinherited

Referenced by value_relation::apply_transitive(), value_relation::create_trio(), value_relation::intersect(), value_relation::kind(), value_relation::negate(), value_relation::set_relation(), value_relation::union_(), and value_relation::value_relation().

---

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

• value-relation.cc