21#ifndef GCC_ANALYZER_FEASIBLE_GRAPH_H
22#define GCC_ANALYZER_FEASIBLE_GRAPH_H
123 std::unique_ptr<rejected_constraint> rc)
133 std::unique_ptr<rejected_constraint>
m_rc;
196 unsigned path_length);
200 std::unique_ptr<rejected_constraint> rc);
205 const char *filename)
const;
Definition feasible-graph.h:139
void dump_dot(graphviz_out *gv, const dump_args_t &args) const final override
base_feasible_edge(base_feasible_node *src, base_feasible_node *dest, const exploded_edge *inner_edge)
Definition feasible-graph.h:147
const exploded_edge * m_inner_edge
Definition feasible-graph.h:153
const exploded_edge * get_inner_edge() const
Definition feasible-graph.h:144
Definition feasible-graph.h:64
const exploded_node * m_inner_node
Definition feasible-graph.h:76
base_feasible_node(const exploded_node *inner_node, unsigned index)
Definition feasible-graph.h:72
void dump_dot_id(pretty_printer *pp) const
unsigned get_index() const
Definition feasible-graph.h:69
const exploded_node * get_inner_node() const
Definition feasible-graph.h:68
unsigned m_index
Definition feasible-graph.h:77
Definition exploded-graph.h:381
Definition exploded-graph.h:203
Definition exploded-graph.h:997
const region_model & get_model() const
Definition exploded-graph.h:1013
const auto_sbitmap & get_snodes_visited() const
Definition exploded-graph.h:1014
Definition feasible-graph.h:219
Definition feasible-graph.h:159
feasible_edge(feasible_node *src, feasible_node *dest, const exploded_edge *inner_edge)
Definition feasible-graph.h:161
Definition feasible-graph.h:190
unsigned get_num_infeasible() const
Definition feasible-graph.h:207
unsigned m_num_infeasible
Definition feasible-graph.h:215
std::unique_ptr< exploded_path > make_epath(feasible_node *fnode) const
void log_stats(logger *logger) const
void dump_feasible_path(const feasible_node &dst_fnode, pretty_printer *pp) const
feasible_node * add_node(const exploded_node *enode, const feasibility_state &state, unsigned path_length)
void dump_feasible_path(const feasible_node &dst_fnode, const char *filename) const
void add_feasibility_problem(feasible_node *src_fnode, const exploded_edge *eedge, std::unique_ptr< rejected_constraint > rc)
Definition feasible-graph.h:84
feasible_node(const exploded_node *inner_node, unsigned index, const feasibility_state &state, unsigned path_length)
Definition feasible-graph.h:86
unsigned get_path_length() const
Definition feasible-graph.h:105
feasibility_state m_state
Definition feasible-graph.h:111
bool get_state_at_stmt(const gimple *target_stmt, region_model *out) const
const feasibility_state & get_state() const
Definition feasible-graph.h:98
const region_model & get_model() const
Definition feasible-graph.h:99
const auto_sbitmap & get_snodes_visited() const
Definition feasible-graph.h:100
void dump_dot(graphviz_out *gv, const dump_args_t &args) const final override
unsigned m_path_length
Definition feasible-graph.h:112
Definition feasible-graph.h:173
infeasible_edge(feasible_node *src, infeasible_node *dest, const exploded_edge *inner_edge)
Definition feasible-graph.h:175
Definition feasible-graph.h:120
std::unique_ptr< rejected_constraint > m_rc
Definition feasible-graph.h:133
infeasible_node(const exploded_node *inner_node, unsigned index, std::unique_ptr< rejected_constraint > rc)
Definition feasible-graph.h:122
void dump_dot(graphviz_out *gv, const dump_args_t &args) const final override
Definition analyzer-logging.h:34
Definition region-model.h:263
Definition pretty-print.h:241
Definition access-diagram.h:30
Definition exploded-graph.h:184
Definition feasible-graph.h:47
dump_args_t(const inner_args_t &inner_args)
Definition feasible-graph.h:50
const inner_args_t & m_inner_args
Definition feasible-graph.h:55
eg_traits::dump_args_t inner_args_t
Definition feasible-graph.h:48
Definition feasible-graph.h:42
feasible_graph graph_t
Definition feasible-graph.h:45
base_feasible_node node_t
Definition feasible-graph.h:43
feasible_cluster cluster_t
Definition feasible-graph.h:57
base_feasible_edge edge_t
Definition feasible-graph.h:44
Definition ira-emit.cc:158
Definition genautomata.cc:669