ana::callgraph_superedge Class Reference

#include <supergraph.h>

Inheritance diagram for ana::callgraph_superedge:

Collaboration diagram for ana::callgraph_superedge:

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

Public Member Functions
	callgraph_superedge (supernode *src, supernode *dst, enum edge_kind kind, cgraph_edge *cedge)
void	dump_label_to_pp (pretty_printer *pp, bool user_facing) const final override
callgraph_superedge *	dyn_cast_callgraph_superedge () final override
const callgraph_superedge *	dyn_cast_callgraph_superedge () const final override
function *	get_callee_function () const
function *	get_caller_function () const
tree	get_callee_decl () const
tree	get_caller_decl () const
const gcall &	get_call_stmt () const
tree	get_arg_for_parm (tree parm, callsite_expr *out) const
tree	get_parm_for_arg (tree arg, callsite_expr *out) const
tree	map_expr_from_caller_to_callee (tree caller_expr, callsite_expr *out) const
tree	map_expr_from_callee_to_caller (tree callee_expr, callsite_expr *out) 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 cfg_superedge *	dyn_cast_cfg_superedge ()
virtual const cfg_superedge *	dyn_cast_cfg_superedge () const
virtual const switch_cfg_superedge *	dyn_cast_switch_cfg_superedge () const
virtual const eh_dispatch_cfg_superedge *	dyn_cast_eh_dispatch_cfg_superedge () const
virtual const eh_dispatch_try_cfg_superedge *	dyn_cast_eh_dispatch_try_cfg_superedge () const
virtual const eh_dispatch_allowed_cfg_superedge *	dyn_cast_eh_dispatch_allowed_cfg_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
cgraph_edge *const	m_cedge
enum edge_kind	m_kind
node_t *const	m_src
node_t *const	m_dest

Detailed Description

A subclass of superedge with an associated callgraph edge (either a
call or a return).   

Member Typedef Documentation

dump_args_t

typedef supergraph_traits::dump_args_t dedge< supergraph_traits >::dump_args_t

inherited

node_t

typedef supergraph_traits::node_t dedge< supergraph_traits >::node_t

inherited

Constructor & Destructor Documentation

callgraph_superedge()

ana::callgraph_superedge::callgraph_superedge ( supernode * src, supernode * dst, enum edge_kind kind, cgraph_edge * cedge )

inline

References m_cedge, and ana::superedge::superedge().

Referenced by ana::call_superedge::call_superedge(), dyn_cast_callgraph_superedge(), dyn_cast_callgraph_superedge(), and ana::return_superedge::return_superedge().

Member Function Documentation

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::callgraph_superedge::dump_label_to_pp ( pretty_printer * pp, bool user_facing ) const

finaloverridevirtual

Implements ana::superedge.

dyn_cast_call_superedge() [1/2]

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

inlinevirtualinherited

Reimplemented in ana::call_superedge.

dyn_cast_call_superedge() [2/2]

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

inlinevirtualinherited

Reimplemented in ana::call_superedge.

dyn_cast_callgraph_superedge() [1/2]

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

inlinefinaloverridevirtual

Reimplemented from ana::superedge.

References callgraph_superedge(), and final().

dyn_cast_callgraph_superedge() [2/2]

callgraph_superedge * ana::callgraph_superedge::dyn_cast_callgraph_superedge ( )

inlinefinaloverridevirtual

Reimplemented from ana::superedge.

References callgraph_superedge(), and final().

dyn_cast_cfg_superedge() [1/2]

virtual cfg_superedge * ana::superedge::dyn_cast_cfg_superedge ( )

inlinevirtualinherited

Reimplemented in ana::cfg_superedge.

Referenced by infinite_recursion_diagnostic::fedge_uses_conjured_svalue_p(), and get_in_edge_back_edge().

dyn_cast_cfg_superedge() [2/2]

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

inlinevirtualinherited

Reimplemented in ana::cfg_superedge.

dyn_cast_eh_dispatch_allowed_cfg_superedge()

virtual const eh_dispatch_allowed_cfg_superedge * ana::superedge::dyn_cast_eh_dispatch_allowed_cfg_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::eh_dispatch_allowed_cfg_superedge.

dyn_cast_eh_dispatch_cfg_superedge()

virtual const eh_dispatch_cfg_superedge * ana::superedge::dyn_cast_eh_dispatch_cfg_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::eh_dispatch_cfg_superedge.

dyn_cast_eh_dispatch_try_cfg_superedge()

virtual const eh_dispatch_try_cfg_superedge * ana::superedge::dyn_cast_eh_dispatch_try_cfg_superedge ( ) const

inlinevirtualinherited

Reimplemented in ana::eh_dispatch_try_cfg_superedge.

dyn_cast_return_superedge() [1/2]

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

inlinevirtualinherited

Reimplemented in ana::return_superedge.

dyn_cast_return_superedge() [2/2]

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

inlinevirtualinherited

Reimplemented in ana::return_superedge.

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.

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

tree ana::callgraph_superedge::get_arg_for_parm	(	tree	parm,
		callsite_expr *	out ) const

get_call_stmt()

const gcall & ana::callgraph_superedge::get_call_stmt

(

)

const

get_callee_decl()

tree ana::callgraph_superedge::get_callee_decl

(

)

const

get_callee_function()

function * ana::callgraph_superedge::get_callee_function

(

)

const

get_caller_decl()

tree ana::callgraph_superedge::get_caller_decl

(

)

const

get_caller_function()

function * ana::callgraph_superedge::get_caller_function

(

)

const

get_description()

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

inherited

get_kind()

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

inlineinherited

References m_kind.

get_parm_for_arg()

tree ana::callgraph_superedge::get_parm_for_arg	(	tree	arg,
		callsite_expr *	out ) const

map_expr_from_callee_to_caller()

tree ana::callgraph_superedge::map_expr_from_callee_to_caller	(	tree	callee_expr,
		callsite_expr *	out ) const

map_expr_from_caller_to_callee()

tree ana::callgraph_superedge::map_expr_from_caller_to_callee	(	tree	caller_expr,
		callsite_expr *	out ) const

to_json()

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

inherited

Field Documentation

m_cedge

cgraph_edge* const ana::callgraph_superedge::m_cedge

Referenced by callgraph_superedge(), ana::return_superedge::get_edge_for_call(), and ana::call_superedge::get_edge_for_return().

m_dest

node_t* const dedge< supergraph_traits >::m_dest

inherited

m_kind

enum edge_kind ana::superedge::m_kind

inherited

Referenced by get_kind(), and superedge().

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