GCC Middle and Back End API Reference
|
#include <exploded-graph.h>
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_node * | get_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 |
A path within an exploded_graph: a sequence of edges.
|
inline |
ana::exploded_path::exploded_path | ( | const exploded_path & | other | ) |
void ana::exploded_path::dump | ( | const extrinsic_state * | ext_state = NULL | ) | const |
void ana::exploded_path::dump | ( | FILE * | fp, |
const extrinsic_state * | ext_state ) const |
void ana::exploded_path::dump_to_file | ( | const char * | filename, |
const extrinsic_state & | ext_state ) const |
void ana::exploded_path::dump_to_pp | ( | pretty_printer * | pp, |
const extrinsic_state * | ext_state ) const |
bool ana::exploded_path::feasible_p | ( | logger * | logger, |
std::unique_ptr< feasibility_problem > * | out, | ||
engine * | eng, | ||
const exploded_graph * | eg ) const |
exploded_node * ana::exploded_path::get_final_enode | ( | ) | const |
|
inline |
References m_edges.
auto_vec<const exploded_edge *> ana::exploded_path::m_edges |
Referenced by length().