ana::switch_cfg_superedge Class Reference

#include <supergraph.h>

Inheritance diagram for ana::switch_cfg_superedge:

Collaboration diagram for ana::switch_cfg_superedge:

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

Public Member Functions
	switch_cfg_superedge (supernode *src, supernode *dst, ::edge e)
const switch_cfg_superedge *	dyn_cast_switch_cfg_superedge () const final override
void	dump_label_to_pp (pretty_printer *pp, bool user_facing) const final override
gswitch *	get_switch_stmt () const
const vec< tree > &	get_case_labels () const
bool	implicitly_created_default_p () const
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
json::object *	to_json () const
enum edge_kind	get_kind () 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
auto_vec< tree >	m_case_labels
const ::edge	m_cfg_edge

Detailed Description

A subclass for edges from switch statements, retaining enough
information to identify the pertinent cases, and for adding labels
when rendering via graphviz.   

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

switch_cfg_superedge()

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

Member Function Documentation

back_edge_p()

int ana::cfg_superedge::back_edge_p ( ) const

inlineinherited

References ana::cfg_superedge::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::switch_cfg_superedge::dump_label_to_pp ( pretty_printer * pp, bool user_facing ) const

finaloverridevirtual

Reimplemented from ana::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

inlinefinaloverridevirtualinherited

Reimplemented from ana::superedge.

dyn_cast_cfg_superedge() [2/2]

cfg_superedge * ana::cfg_superedge::dyn_cast_cfg_superedge ( )

inlinefinaloverridevirtualinherited

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()

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

inlinefinaloverridevirtual

Reimplemented from ana::superedge.

false_value_p()

int ana::cfg_superedge::false_value_p ( ) const

inlineinherited

References ana::cfg_superedge::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_case_labels()

const vec< tree > & ana::switch_cfg_superedge::get_case_labels ( ) const

inline

References m_case_labels.

get_cfg_edge()

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

inlineinherited

References ana::cfg_superedge::m_cfg_edge.

get_description()

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

inherited

Referenced by perpetual_start_cfg_edge_event::get_desc().

get_flags()

int ana::cfg_superedge::get_flags ( ) const

inlineinherited

References ana::cfg_superedge::m_cfg_edge.

Referenced by ana::cfg_superedge::back_edge_p(), ana::cfg_superedge::false_value_p(), and ana::cfg_superedge::true_value_p().

get_goto_locus()

location_t ana::cfg_superedge::get_goto_locus ( ) const

inlineinherited

References ana::cfg_superedge::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

inherited

get_phi_arg_idx()

size_t ana::cfg_superedge::get_phi_arg_idx ( ) const

inherited

get_switch_stmt()

gswitch * ana::switch_cfg_superedge::get_switch_stmt ( ) const

inline

References as_a(), ana::supernode::get_last_stmt(), and dedge< supergraph_traits >::m_src.

implicitly_created_default_p()

bool ana::switch_cfg_superedge::implicitly_created_default_p

(

)

const

to_json()

json::object * ana::superedge::to_json ( ) const

inherited

true_value_p()

int ana::cfg_superedge::true_value_p ( ) const

inlineinherited

References ana::cfg_superedge::get_flags().

Referenced by infinite_loop_diagnostic::add_final_event().

Field Documentation

m_case_labels

auto_vec<tree> ana::switch_cfg_superedge::m_case_labels

private

Referenced by get_case_labels().

m_cfg_edge

const ::edge ana::cfg_superedge::m_cfg_edge

privateinherited

Referenced by ana::cfg_superedge::get_cfg_edge(), ana::cfg_superedge::get_flags(), and ana::cfg_superedge::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 get_switch_stmt().

---

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

• supergraph.h