GCC Middle and Back End API Reference
ana::eh_dispatch_cfg_superedge Class Referenceabstract

#include <supergraph.h>

Inheritance diagram for ana::eh_dispatch_cfg_superedge:
Inheritance graph
[legend]
Collaboration diagram for ana::eh_dispatch_cfg_superedge:
Collaboration graph
[legend]

Public Types

typedef supergraph_traits::node_t node_t
typedef supergraph_traits::dump_args_t dump_args_t

Public Member Functions

const eh_dispatch_cfg_superedge * dyn_cast_eh_dispatch_cfg_superedge () const final override
const geh_dispatch * get_eh_dispatch_stmt () const
const eh_status & get_eh_status () const
eh_region get_eh_region () const
virtual bool apply_constraints (region_model *model, region_model_context *ctxt, tree exception_type, std::unique_ptr< rejected_constraint > *out) const =0
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 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 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

Static Public Member Functions

static std::unique_ptr< eh_dispatch_cfg_superedge > make (supernode *src, supernode *dest, ::edge e, const geh_dispatch *eh_dispatch_stmt)

Data Fields

enum edge_kind m_kind
node_t *const m_src
node_t *const m_dest

Protected Member Functions

 eh_dispatch_cfg_superedge (supernode *src, supernode *dst, ::edge e, const geh_dispatch *eh_dispatch_stmt, eh_region eh_reg)

Private Attributes

const geh_dispatch * m_eh_dispatch_stmt
eh_region m_eh_region
const ::edge m_cfg_edge

Detailed Description

A subclass for edges from eh_dispatch statements, retaining enough
information to identify the various types being caught, vs the
"unhandled type" case, and for adding labels when rendering
via graphviz.
This is abstract; there are concrete subclasses based on the type
of the eh_region.

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

◆ eh_dispatch_cfg_superedge()

ana::eh_dispatch_cfg_superedge::eh_dispatch_cfg_superedge ( supernode * src,
supernode * dst,
::edge e,
const geh_dispatch * eh_dispatch_stmt,
eh_region eh_reg )
protected

Referenced by dyn_cast_eh_dispatch_cfg_superedge(), and ana::eh_dispatch_try_cfg_superedge::eh_dispatch_try_cfg_superedge().

Member Function Documentation

◆ apply_constraints()

virtual bool ana::eh_dispatch_cfg_superedge::apply_constraints ( region_model * model,
region_model_context * ctxt,
tree exception_type,
std::unique_ptr< rejected_constraint > * out ) const
pure virtual

Implemented in ana::eh_dispatch_allowed_cfg_superedge, and ana::eh_dispatch_try_cfg_superedge.

◆ back_edge_p()

int ana::cfg_superedge::back_edge_p ( ) const
inlineinherited

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
overridevirtualinherited

Implements ana::superedge.

Reimplemented in ana::eh_dispatch_allowed_cfg_superedge, ana::eh_dispatch_try_cfg_superedge, and 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
inlinefinaloverridevirtualinherited

Reimplemented from ana::superedge.

References cfg_superedge(), and final().

◆ dyn_cast_cfg_superedge() [2/2]

cfg_superedge * ana::cfg_superedge::dyn_cast_cfg_superedge ( )
inlinefinaloverridevirtualinherited

Reimplemented from ana::superedge.

References cfg_superedge(), and final().

Referenced by infinite_loop_diagnostic::add_final_event().

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

const eh_dispatch_cfg_superedge * ana::eh_dispatch_cfg_superedge::dyn_cast_eh_dispatch_cfg_superedge ( ) const
inlinefinaloverridevirtual

Reimplemented from ana::superedge.

References eh_dispatch_cfg_superedge(), and final().

◆ 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.

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
inlineinherited

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
inlineinherited

References m_cfg_edge.

◆ get_description()

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

◆ get_eh_dispatch_stmt()

const geh_dispatch * ana::eh_dispatch_cfg_superedge::get_eh_dispatch_stmt ( ) const
inline

References m_eh_dispatch_stmt.

◆ get_eh_region()

eh_region ana::eh_dispatch_cfg_superedge::get_eh_region ( ) const
inline

References m_eh_region.

◆ get_eh_status()

const eh_status & ana::eh_dispatch_cfg_superedge::get_eh_status ( ) const

◆ get_flags()

int ana::cfg_superedge::get_flags ( ) const
inlineinherited

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
inlineinherited

References m_cfg_edge.

Referenced by infinite_loop_diagnostic::add_final_event().

◆ get_kind()

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

References 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

◆ make()

std::unique_ptr< eh_dispatch_cfg_superedge > ana::eh_dispatch_cfg_superedge::make ( supernode * src,
supernode * dest,
::edge e,
const geh_dispatch * eh_dispatch_stmt )
static

◆ to_json()

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

◆ true_value_p()

int ana::cfg_superedge::true_value_p ( ) const
inlineinherited

References get_flags().

Referenced by infinite_loop_diagnostic::add_final_event().

Field Documentation

◆ m_cfg_edge

const ::edge ana::cfg_superedge::m_cfg_edge
privateinherited

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

◆ m_dest

node_t* const dedge< supergraph_traits >::m_dest
inherited

◆ m_eh_dispatch_stmt

const geh_dispatch* ana::eh_dispatch_cfg_superedge::m_eh_dispatch_stmt
private

Referenced by get_eh_dispatch_stmt().

◆ m_eh_region

eh_region ana::eh_dispatch_cfg_superedge::m_eh_region
private

Referenced by get_eh_region().

◆ 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: