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

#include <exploded-graph.h>

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

Public Types

enum class  status {
  worklist , processed , special , merger ,
  bulk_merged
}
typedef eg_traits::edge_t edge_t
typedef eg_traits::dump_args_t dump_args_t

Public Member Functions

 exploded_node (const point_and_state &ps, int index)
hashval_t hash () const
const char * get_dot_fillcolor () const
void dump_dot (graphviz_out *gv, const dump_args_t &args) const final override
void dump_dot_id (pretty_printer *pp) const
void dump_to_pp (pretty_printer *pp, const extrinsic_state &ext_state) const
void dump (FILE *fp, const extrinsic_state &ext_state) const
void dump (const extrinsic_state &ext_state) const
void dump_processed_stmts (pretty_printer *pp) const
void dump_saved_diagnostics (pretty_printer *pp) const
std::unique_ptr< json::object > to_json (const extrinsic_state &ext_state) const
void on_longjmp (exploded_graph &eg, const gcall &call, program_state *new_state, region_model_context *ctxt)
void on_throw (exploded_graph &eg, const gcall &call, const program_point &after_throw_point, program_state *new_state, bool is_rethrow, region_model_context *ctxt)
void detect_leaks (exploded_graph &eg)
const program_point & get_point () const
const supernode * get_supernode () const
location_t get_location () const
function * get_function () const
int get_stack_depth () const
const program_state & get_state () const
const point_and_state * get_ps_key () const
const program_point * get_point_key () const
void dump_succs_and_preds (FILE *outf) const
enum status get_status () const
void set_status (enum status s)
void add_diagnostic (const saved_diagnostic *sd)
unsigned get_num_diagnostics () const
const saved_diagnostic * get_saved_diagnostic (unsigned idx) const
virtual void dump_dot (graphviz_out *gv, const dump_args_t &args) const=0
void add_in_edge (edge_t *e)
void remove_in_edge (edge_t *e)
void add_out_edge (edge_t *e)
void remove_out_edge (edge_t *e)

Static Public Member Functions

static const char * status_to_str (enum status s)

Data Fields

const int m_index
unsigned m_num_processed_stmts
auto_vec< edge_t * > m_preds
auto_vec< edge_t * > m_succs

Private Member Functions

 DISABLE_COPY_AND_ASSIGN (exploded_node)

Static Private Member Functions

static unsigned find_edge_idx (auto_vec< edge_t * > &edges, edge_t *e)

Private Attributes

const point_and_state m_ps
enum status m_status
auto_vec< const saved_diagnostic * > m_saved_diagnostics

Detailed Description

An exploded_node is a unique, immutable <point, state> pair within the
exploded_graph.
Each exploded_node has a unique index within the graph
(for ease of debugging).

Member Typedef Documentation

◆ dump_args_t

typedef eg_traits::dump_args_t dnode< eg_traits >::dump_args_t
inherited

◆ edge_t

typedef eg_traits::edge_t dnode< eg_traits >::edge_t
inherited

Member Enumeration Documentation

◆ status

enum class ana::exploded_node::status
strong
Enumerator
worklist 
processed 
special 
merger 
bulk_merged 

Constructor & Destructor Documentation

◆ exploded_node()

ana::exploded_node::exploded_node ( const point_and_state & ps,
int index )

Referenced by DISABLE_COPY_AND_ASSIGN().

Member Function Documentation

◆ add_diagnostic()

void ana::exploded_node::add_diagnostic ( const saved_diagnostic * sd)
inline

References m_saved_diagnostics.

◆ add_in_edge()

void dnode< eg_traits >::add_in_edge ( edge_t * e)
inlineinherited

◆ add_out_edge()

void dnode< eg_traits >::add_out_edge ( edge_t * e)
inlineinherited

◆ detect_leaks()

void ana::exploded_node::detect_leaks ( exploded_graph & eg)

◆ DISABLE_COPY_AND_ASSIGN()

ana::exploded_node::DISABLE_COPY_AND_ASSIGN ( exploded_node )
private

References exploded_node().

◆ dump() [1/2]

void ana::exploded_node::dump ( const extrinsic_state & ext_state) const

◆ dump() [2/2]

void ana::exploded_node::dump ( FILE * fp,
const extrinsic_state & ext_state ) const

◆ dump_dot() [1/2]

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

◆ dump_dot() [2/2]

virtual void dnode< eg_traits >::dump_dot ( graphviz_out * gv,
const dump_args_t & args ) const
pure virtualinherited

◆ dump_dot_id()

void ana::exploded_node::dump_dot_id ( pretty_printer * pp) const

◆ dump_processed_stmts()

void ana::exploded_node::dump_processed_stmts ( pretty_printer * pp) const

◆ dump_saved_diagnostics()

void ana::exploded_node::dump_saved_diagnostics ( pretty_printer * pp) const

◆ dump_succs_and_preds()

void ana::exploded_node::dump_succs_and_preds ( FILE * outf) const

◆ dump_to_pp()

void ana::exploded_node::dump_to_pp ( pretty_printer * pp,
const extrinsic_state & ext_state ) const

◆ find_edge_idx()

unsigned dnode< eg_traits >::find_edge_idx ( auto_vec< edge_t * > & edges,
edge_t * e )
inlinestaticprivateinherited

◆ get_dot_fillcolor()

const char * ana::exploded_node::get_dot_fillcolor ( ) const

◆ get_function()

function * ana::exploded_node::get_function ( ) const
inline

References ana::program_point::get_function(), and get_point().

Referenced by ana::exploded_graph::detect_infinite_recursion(), and ana::exploded_graph::find_previous_entry_to().

◆ get_location()

location_t ana::exploded_node::get_location ( ) const
inline

References ana::program_point::get_location(), and get_point().

◆ get_num_diagnostics()

unsigned ana::exploded_node::get_num_diagnostics ( ) const
inline

References m_saved_diagnostics.

◆ get_point()

const program_point & ana::exploded_node::get_point ( ) const
inline

References m_ps.

Referenced by infinite_loop_diagnostic::add_final_event(), infinite_recursion_diagnostic::add_function_entry_event(), ana::exploded_graph::detect_infinite_recursion(), get_function(), get_location(), ana::rewind_info_t::get_point_after_setjmp(), ana::rewind_info_t::get_point_before_setjmp(), get_stack_depth(), and get_supernode().

◆ get_point_key()

const program_point * ana::exploded_node::get_point_key ( ) const
inline

References m_ps.

◆ get_ps_key()

const point_and_state * ana::exploded_node::get_ps_key ( ) const
inline

References m_ps.

◆ get_saved_diagnostic()

const saved_diagnostic * ana::exploded_node::get_saved_diagnostic ( unsigned idx) const
inline

References m_saved_diagnostics.

◆ get_stack_depth()

int ana::exploded_node::get_stack_depth ( ) const
inline

References get_point(), and ana::program_point::get_stack_depth().

Referenced by sufficiently_different_region_binding_p().

◆ get_state()

const program_state & ana::exploded_node::get_state ( ) const
inline

References m_ps.

Referenced by infinite_recursion_diagnostic::add_function_entry_event(), starts_infinite_loop_p(), sufficiently_different_p(), and sufficiently_different_region_binding_p().

◆ get_status()

enum status ana::exploded_node::get_status ( ) const
inline

References m_status.

Referenced by starts_infinite_loop_p().

◆ get_supernode()

const supernode * ana::exploded_node::get_supernode ( ) const
inline

References get_point(), and ana::program_point::get_supernode().

Referenced by ana::worklist::key_t::get_scc_id(), is_entrypoint_p(), and starts_infinite_loop_p().

◆ hash()

hashval_t ana::exploded_node::hash ( ) const
inline

References m_ps.

◆ on_longjmp()

void ana::exploded_node::on_longjmp ( exploded_graph & eg,
const gcall & call,
program_state * new_state,
region_model_context * ctxt )

◆ on_throw()

void ana::exploded_node::on_throw ( exploded_graph & eg,
const gcall & call,
const program_point & after_throw_point,
program_state * new_state,
bool is_rethrow,
region_model_context * ctxt )

◆ remove_in_edge()

void dnode< eg_traits >::remove_in_edge ( edge_t * e)
inlineinherited

◆ remove_out_edge()

void dnode< eg_traits >::remove_out_edge ( edge_t * e)
inlineinherited

◆ set_status()

void ana::exploded_node::set_status ( enum status s)
inline

References gcc_assert, m_status, and worklist.

◆ status_to_str()

const char * ana::exploded_node::status_to_str ( enum status s)
static

◆ to_json()

std::unique_ptr< json::object > ana::exploded_node::to_json ( const extrinsic_state & ext_state) const

Field Documentation

◆ m_index

const int ana::exploded_node::m_index

Referenced by infinite_recursion_diagnostic::check_valid_fpath_p(), ana::exploded_graph::detect_infinite_recursion(), and starts_infinite_loop_p().

◆ m_num_processed_stmts

unsigned ana::exploded_node::m_num_processed_stmts

◆ m_preds

auto_vec<edge_t *> dnode< eg_traits >::m_preds
inherited

◆ m_ps

const point_and_state ana::exploded_node::m_ps
private

Referenced by get_point(), get_point_key(), get_ps_key(), get_state(), and hash().

◆ m_saved_diagnostics

auto_vec<const saved_diagnostic *> ana::exploded_node::m_saved_diagnostics
private

Referenced by add_diagnostic(), get_num_diagnostics(), and get_saved_diagnostic().

◆ m_status

enum status ana::exploded_node::m_status
private

Referenced by get_status(), and set_status().

◆ m_succs

auto_vec<edge_t *> dnode< eg_traits >::m_succs
inherited
The documentation for this class was generated from the following file: