21#ifndef GCC_ANALYZER_ANA_STATE_TO_DIAGNOSTIC_STATE_H
22#define GCC_ANALYZER_ANA_STATE_TO_DIAGNOSTIC_STATE_H
47 std::unique_ptr<diagnostics::digraphs::node>
51 std::unique_ptr<diagnostics::digraphs::node>
55 std::unique_ptr<diagnostics::digraphs::node>
65 std::unique_ptr<diagnostics::digraphs::node>
88 std::unique_ptr<diagnostics::digraphs::node>
const extrinsic_state & m_ext_state
Definition ana-state-to-diagnostic-state.h:96
std::string make_node_id(const char *prefix)
void set_attr_for_dynamic_extents(const region ®, diagnostics::state_graphs::state_node_ref)
std::map< bit_range, const svalue * > concrete_bindings_t
Definition ana-state-to-diagnostic-state.h:59
unsigned m_next_id
Definition ana-state-to-diagnostic-state.h:100
std::map< const region *, tree > m_types_for_untyped_regions
Definition ana-state-to-diagnostic-state.h:99
void populate_state_node_for_typed_region(diagnostics::state_graphs::state_node_ref, const region ®, const concrete_bindings_t &conc_bindings, bool create_all)
std::unique_ptr< diagnostics::digraphs::node > create_state_node(const region ®)
std::unique_ptr< diagnostics::digraphs::node > make_state_node(diagnostics::state_graphs::node_kind kind, std::string id)
void create_state_nodes_for_binding_cluster(const binding_cluster &cluster, bool create_all)
std::unique_ptr< diagnostics::digraphs::node > make_memspace_state_node(const region ®, enum diagnostics::state_graphs::node_kind kind)
bool show_child_state_node_for_child_region_p(const region ®, const concrete_bindings_t &conc_bindings, bool create_all)
analyzer_state_graph(const program_state &state, const extrinsic_state &ext_state)
std::unique_ptr< diagnostics::digraphs::node > create_state_node_for_svalue(const svalue *sval)
std::vector< pending_edge > m_pending_edges
Definition ana-state-to-diagnostic-state.h:101
bool get_bit_range_within_base_region(const region ®, bit_range &out)
diagnostics::state_graphs::state_node_ref create_and_add_state_node(const region ®)
std::unique_ptr< diagnostics::digraphs::node > create_state_node_for_conc_bindings(const concrete_bindings_t &conc_bindings)
region_model_manager & m_mgr
Definition ana-state-to-diagnostic-state.h:97
std::string make_node_id(const region ®)
diagnostics::state_graphs::state_node_ref get_or_create_state_node(const region ®)
std::map< const region *, diagnostics::digraphs::node * > m_region_to_state_node_map
Definition ana-state-to-diagnostic-state.h:98
tree_logical_location_manager m_logical_loc_mgr
Definition ana-state-to-diagnostic-state.h:94
const program_state & m_state
Definition ana-state-to-diagnostic-state.h:95
Definition program-state.h:34
Definition program-state.h:224
Definition region-model-manager.h:32
Definition tree-logical-location.h:32
Definition access-diagram.h:30
node_kind
Definition state-graphs.h:44
Definition ana-state-to-diagnostic-state.h:39
diagnostics::state_graphs::state_node_ref m_src_node
Definition ana-state-to-diagnostic-state.h:40
const region & m_dst_reg
Definition ana-state-to-diagnostic-state.h:41
Definition state-graphs.h:88
Definition genautomata.cc:669