GCC Middle and Back End API Reference
|
#include <exploded-graph.h>
Public Member Functions | |
feasibility_state (region_model_manager *manager, const supergraph &sg) | |
feasibility_state (const region_model &model, const supergraph &sg) | |
feasibility_state (const feasibility_state &other) | |
feasibility_state & | operator= (const feasibility_state &other) |
bool | maybe_update_for_edge (logger *logger, const exploded_edge *eedge, region_model_context *ctxt, std::unique_ptr< rejected_constraint > *out_rc) |
void | update_for_stmt (const gimple *stmt) |
const region_model & | get_model () const |
const auto_sbitmap & | get_snodes_visited () const |
void | dump_to_pp (pretty_printer *pp, bool simple, bool multiline) const |
Private Attributes | |
region_model | m_model |
auto_sbitmap | m_snodes_visited |
A class for capturing the state of a node when checking a path through the exploded_graph for feasibility.
ana::feasibility_state::feasibility_state | ( | region_model_manager * | manager, |
const supergraph & | sg ) |
ana::feasibility_state::feasibility_state | ( | const region_model & | model, |
const supergraph & | sg ) |
ana::feasibility_state::feasibility_state | ( | const feasibility_state & | other | ) |
void ana::feasibility_state::dump_to_pp | ( | pretty_printer * | pp, |
bool | simple, | ||
bool | multiline ) const |
|
inline |
References m_model.
Referenced by infinite_recursion_diagnostic::fedge_uses_conjured_svalue_p(), and ana::feasible_node::get_model().
|
inline |
References m_snodes_visited.
Referenced by ana::feasible_node::get_snodes_visited().
bool ana::feasibility_state::maybe_update_for_edge | ( | logger * | logger, |
const exploded_edge * | eedge, | ||
region_model_context * | ctxt, | ||
std::unique_ptr< rejected_constraint > * | out_rc ) |
Referenced by starts_infinite_loop_p().
feasibility_state & ana::feasibility_state::operator= | ( | const feasibility_state & | other | ) |
void ana::feasibility_state::update_for_stmt | ( | const gimple * | stmt | ) |
|
private |
Referenced by get_model().
|
private |
Referenced by get_snodes_visited().