GCC Middle and Back End API Reference
ana::exploded_path Class Reference

#include <exploded-graph.h>

Collaboration diagram for ana::exploded_path:

Public Member Functions

 exploded_path ()
 
 exploded_path (const exploded_path &other)
 
unsigned length () const
 
bool find_stmt_backwards (const gimple *search_stmt, int *out_idx) const
 
exploded_nodeget_final_enode () 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=NULL) const
 
void dump_to_file (const char *filename, const extrinsic_state &ext_state) const
 
bool feasible_p (logger *logger, std::unique_ptr< feasibility_problem > *out, engine *eng, const exploded_graph *eg) const
 

Data Fields

auto_vec< const exploded_edge * > m_edges
 

Detailed Description

A path within an exploded_graph: a sequence of edges.   

Constructor & Destructor Documentation

◆ exploded_path() [1/2]

ana::exploded_path::exploded_path ( )
inline

◆ exploded_path() [2/2]

ana::exploded_path::exploded_path ( const exploded_path & other)

Member Function Documentation

◆ dump() [1/2]

void ana::exploded_path::dump ( const extrinsic_state * ext_state = NULL) const

◆ dump() [2/2]

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

◆ dump_to_file()

void ana::exploded_path::dump_to_file ( const char * filename,
const extrinsic_state & ext_state ) const

◆ dump_to_pp()

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

◆ feasible_p()

bool ana::exploded_path::feasible_p ( logger * logger,
std::unique_ptr< feasibility_problem > * out,
engine * eng,
const exploded_graph * eg ) const

◆ find_stmt_backwards()

bool ana::exploded_path::find_stmt_backwards ( const gimple * search_stmt,
int * out_idx ) const

◆ get_final_enode()

exploded_node * ana::exploded_path::get_final_enode ( ) const

◆ length()

unsigned ana::exploded_path::length ( ) const
inline

References m_edges.

Field Documentation

◆ m_edges

auto_vec<const exploded_edge *> ana::exploded_path::m_edges

Referenced by length().


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