ana::cfg_superedge Class Reference

#include <supergraph.h>

Inheritance diagram for ana::cfg_superedge:

Collaboration diagram for ana::cfg_superedge:

Public Types
typedef supergraph_traits::node_t	node_t
typedef supergraph_traits::dump_args_t	dump_args_t

Public Member Functions
	cfg_superedge (supernode *src, supernode *dst, ::edge e)
void	dump_label_to_pp (pretty_printer *pp, bool user_facing) const override
cfg_superedge *	dyn_cast_cfg_superedge () final override
const cfg_superedge *	dyn_cast_cfg_superedge () const final override
::edge	get_cfg_edge () const
int	get_flags () const
int	true_value_p () const
int	false_value_p () const
int	back_edge_p () const
size_t	get_phi_arg_idx () const
tree	get_phi_arg (const gphi *phi) const
location_t	get_goto_locus () const
void	dump (pretty_printer *pp) const
void	dump () const
void	dump_dot (graphviz_out *gv, const dump_args_t &args) const final override
virtual void	dump_dot (graphviz_out *gv, const dump_args_t &args) const=0
std::unique_ptr< json::object >	to_json () const
enum edge_kind	get_kind () const
virtual const switch_cfg_superedge *	dyn_cast_switch_cfg_superedge () const
virtual callgraph_superedge *	dyn_cast_callgraph_superedge ()
virtual const callgraph_superedge *	dyn_cast_callgraph_superedge () const
virtual call_superedge *	dyn_cast_call_superedge ()
virtual const call_superedge *	dyn_cast_call_superedge () const
virtual return_superedge *	dyn_cast_return_superedge ()
virtual const return_superedge *	dyn_cast_return_superedge () const
::edge	get_any_cfg_edge () const
cgraph_edge *	get_any_callgraph_edge () const
label_text	get_description (bool user_facing) const

Data Fields
enum edge_kind	m_kind
node_t *const	m_src
node_t *const	m_dest

Private Attributes
const ::edge	m_cfg_edge

Detailed Description

A subclass of superedge that corresponds to a CFG edge.   

Member Typedef Documentation

dump_args_t

supergraph_traits::dump_args_t dedge< supergraph_traits >::dump_args_t

inherited

node_t

supergraph_traits::node_t dedge< supergraph_traits >::node_t

inherited

Constructor & Destructor Documentation

cfg_superedge()

ana::cfg_superedge::cfg_superedge ( supernode * src, supernode * dst, ::edge e )

inline

Member Function Documentation

back_edge_p()

int ana::cfg_superedge::back_edge_p ( ) const

inline

References get_flags().

Referenced by infinite_loop_diagnostic::add_final_event(), and get_in_edge_back_edge().

dump() [1/2]

void ana::superedge::dump ( ) const

inherited

dump() [2/2]

void ana::superedge::dump ( pretty_printer * pp ) const

inherited

dump_dot() [1/2]

void ana::superedge::dump_dot ( graphviz_out * gv, const dump_args_t & args ) const

finaloverrideinherited

dump_dot() [2/2]

virtual void dedge< supergraph_traits >::dump_dot ( graphviz_out * gv, const dump_args_t & args ) const

pure virtualinherited

dump_label_to_pp()

void ana::cfg_superedge::dump_label_to_pp ( pretty_printer * pp, bool user_facing ) const

overridevirtual

Implements ana::superedge.

Reimplemented in ana::switch_cfg_superedge.

dyn_cast_call_superedge() [1/2]

virtual call_superedge * ana::superedge::dyn_cast_call_superedge ( )

inlinevirtualinherited

Reimplemented in ana::call_superedge.

References NULL.

dyn_cast_call_superedge() [2/2]

virtual const call_superedge * ana::superedge::dyn_cast_call_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::call_superedge.

References NULL.

dyn_cast_callgraph_superedge() [1/2]

virtual callgraph_superedge * ana::superedge::dyn_cast_callgraph_superedge ( )

inlinevirtualinherited

Reimplemented in ana::callgraph_superedge.

References NULL.

dyn_cast_callgraph_superedge() [2/2]

virtual const callgraph_superedge * ana::superedge::dyn_cast_callgraph_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::callgraph_superedge.

References NULL.

dyn_cast_cfg_superedge() [1/2]

const cfg_superedge * ana::cfg_superedge::dyn_cast_cfg_superedge ( ) const

inlinefinaloverridevirtual

Reimplemented from ana::superedge.

dyn_cast_cfg_superedge() [2/2]

cfg_superedge * ana::cfg_superedge::dyn_cast_cfg_superedge ( )

inlinefinaloverridevirtual

Reimplemented from ana::superedge.

Referenced by infinite_loop_diagnostic::add_final_event().

dyn_cast_return_superedge() [1/2]

virtual return_superedge * ana::superedge::dyn_cast_return_superedge ( )

inlinevirtualinherited

Reimplemented in ana::return_superedge.

References NULL.

dyn_cast_return_superedge() [2/2]

virtual const return_superedge * ana::superedge::dyn_cast_return_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::return_superedge.

References NULL.

dyn_cast_switch_cfg_superedge()

virtual const switch_cfg_superedge * ana::superedge::dyn_cast_switch_cfg_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::switch_cfg_superedge.

References NULL.

Referenced by infinite_loop_diagnostic::add_final_event().

false_value_p()

int ana::cfg_superedge::false_value_p ( ) const

inline

References get_flags().

Referenced by infinite_loop_diagnostic::add_final_event().

get_any_callgraph_edge()

cgraph_edge * ana::superedge::get_any_callgraph_edge ( ) const

inherited

get_any_cfg_edge()

::edge ana::superedge::get_any_cfg_edge ( ) const

inherited

Referenced by starts_infinite_loop_p().

get_cfg_edge()

::edge ana::cfg_superedge::get_cfg_edge ( ) const

inline

References m_cfg_edge.

get_description()

label_text ana::superedge::get_description ( bool user_facing ) const

inherited

Referenced by perpetual_start_cfg_edge_event::print_desc().

get_flags()

int ana::cfg_superedge::get_flags ( ) const

inline

References m_cfg_edge.

Referenced by back_edge_p(), false_value_p(), and true_value_p().

get_goto_locus()

location_t ana::cfg_superedge::get_goto_locus ( ) const

inline

References m_cfg_edge.

Referenced by infinite_loop_diagnostic::add_final_event().

get_kind()

enum edge_kind ana::superedge::get_kind ( ) const

inlineinherited

References ana::superedge::m_kind.

get_phi_arg()

tree ana::cfg_superedge::get_phi_arg

(

const gphi *

phi

)

const

get_phi_arg_idx()

size_t ana::cfg_superedge::get_phi_arg_idx

(

)

const

to_json()

std::unique_ptr< json::object > ana::superedge::to_json ( ) const

inherited

true_value_p()

int ana::cfg_superedge::true_value_p ( ) const

inline

References get_flags().

Referenced by infinite_loop_diagnostic::add_final_event().

Field Documentation

m_cfg_edge

const ::edge ana::cfg_superedge::m_cfg_edge

private

Referenced by get_cfg_edge(), get_flags(), and get_goto_locus().

m_dest

node_t* const dedge< supergraph_traits >::m_dest

inherited

m_kind

enum edge_kind ana::superedge::m_kind

inherited

Referenced by ana::superedge::get_kind().

m_src

node_t* const dedge< supergraph_traits >::m_src

inherited

Referenced by ana::switch_cfg_superedge::get_switch_stmt().

---

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

• supergraph.h